On the Subrecursive Computability of Several Famous Constants (original) (raw)
Related papers
On the Interaction of Advices and Raw Types in AspectJ
J. Univers. Comput. Sci., 2008
Principal typings for Java-like languages
ACM SIGPLAN Notices, 2004
Typing for a minimal aspect language: preliminary report
2007
A Calculus of Untyped Aspect-Oriented Programs
2003
Aspect-oriented programming with type classes
Proceedings of the 6th workshop on Foundations of aspect-oriented languages - FOAL '07, 2007
Lifted Java: A Minimal Calculus for Translation Polymorphism
The Journal of Object Technology, 2012
A first-class approach to genericity
Sigplan Notices, 2003
Towards an operational semantics and proof of type soundness for Java
1998
FeatherTrait: A modest extension of Featherweight Java
2008
Notes on Type Abstraction (Version 2)
IEEE Transactions on Software Engineering, 2000
Java & Lambda: a Featherweight Story
Log. Methods Comput. Sci., 2018
On traits and types in a java-like setting
IFIP International Federation for Information Processing, 2008
A type system with usage aspects
Journal of Functional Programming, 2008
Even More Principal Typings for Java-like Languages?
UJ: Type Soundness for Universe Types
development, 2007
abc: an extensible AspectJ compiler
2005
An Abstract State Machine Model for the Generic Java Type System
2010
Foal, 2006
Increasing Java's expressiveness with ThisType and
An effective theory of type refinements
ACM SIGPLAN Notices, 2003
TYPE INFERENCE FOR POLYMORPHIC METHODS IN JAVA-LIKE LANGUAGES
Theoretical Computer Science - Proceedings of the 10th Italian Conference on ICTCS '07, 2007
4 JAVACOP: Declarative Pluggable Types for Java
2013
Specifying generic Java programs: two case studies
2010
Typed parametric polymorphism for aspects
Science of Computer Programming, 2006
Adding Generics to the Java Programming Language: Public Draft Specification, Version 2.0
David Stoutamire, Philip Wadler, Kresten Thorup
2000
Proceedings of the 27th Annual ACM Symposium on Applied Computing, 2012
Hidden Type Variables and Conditional Extension for More Expressive Generic Programs
2007
A generic type-and-effect system
2009
Monadic Type Systems: Pure Type Systems for Impure Settings (Preliminary Report)
Electronic Notes in Theoretical Computer Science, 1998
Aspect-oriented Refactoring of Java Programs
JOAO CARLOS LOPES FERNANDES FERNANDES
2011
A Type System for Context-dependent Overloading
Electronic Notes in Theoretical Computer Science, 1998
1994