The following pages link to Featherweight Java (Q28074):
Displaying 50 items.
- On flexible dynamic trait replacement for Java-like languages (Q2442955) (← links)
- Matching MyType to subtyping (Q2442957) (← links)
- Abstraction over implementation structure with symmetrically encapsulated multimethods (Q2442958) (← links)
- Formalising Java RMI with explicit code mobility (Q2463558) (← links)
- Semantic essence of AsmL (Q2571205) (← links)
- Towards a formal foundation to orchestration languages (Q2847797) (← links)
- Effective and efficient compilation of run-time generics in Java (Q2848698) (← links)
- Prototyping concurrent systems with agents and artifacts: framework and core calculus (Q2866321) (← links)
- Generalizing Inference Systems by Coaxioms (Q2988632) (← links)
- The Essence of Functional Programming on Semantic Data (Q2988667) (← links)
- Idealized coinductive type systems for imperative object-oriented programs (Q3006157) (← links)
- Approximation Semantics and Expressive Predicate Assignment for Object-Oriented Programming (Q3007669) (← links)
- (Q3046755) (← links)
- (Q3046762) (← links)
- Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification? (Q3067532) (← links)
- (Q3121528) (← links)
- Analyzing the implicit computational complexity of object-oriented programs (Q3165969) (← links)
- DOM: Specification and Client Reasoning (Q3179307) (← links)
- Certifying Data in Multiparty Session Types (Q3188299) (← links)
- Type-based Self-stabilisation for Computational Fields (Q3460426) (← links)
- Safe Adaptation Through Implicit Effect Coercion (Q3460866) (← links)
- Lightweight family polymorphism (Q3503189) (← links)
- Incremental Reasoning for Multiple Inheritance (Q3605467) (← links)
- Type Inference by Coinductive Logic Programming (Q3638242) (← links)
- First-Class Object Sets (Q3638247) (← links)
- Efficient Type-Checking for Amortised Heap-Space Analysis (Q3644757) (← links)
- A Type-Passing Approach for the Implementation of Parametric Methods in Java (Q4415902) (← links)
- (Q4585064) (← links)
- CoCaml: Functional Programming with Regular Coinductive Types (Q4589614) (← links)
- (Q4596790) (← links)
- A Higher-Order Calculus of Computational Fields (Q4617982) (← links)
- A Provably Correct Compilation of Functional Languages into Scripting Languages (Q4621210) (← links)
- (Q4637692) (← links)
- A concurrent constraint programming interpretation of access permissions (Q4644356) (← links)
- A CuCh Interpretation of an Object-Oriented Language1 1Partially supported by MURST Cofin '99 TOSCA. (Q4916176) (← links)
- (Q5028433) (← links)
- Soundness Conditions for Big-Step Semantics (Q5041092) (← links)
- Enforcing Programming Guidelines with Region Types and Effects (Q5055996) (← links)
- (Q5076059) (← links)
- Explicit effect subtyping (Q5120231) (← links)
- (Q5129944) (← links)
- Type-Based Security for Mobile Computing Integrity, Secrecy and Liveness (Q5262979) (← links)
- Dynamic overloading with copy semantics in object-oriented languages: a formal account (Q5321777) (← links)
- Correctness of compiling polymorphism to dynamic typing (Q5371998) (← links)
- Functional Type Assignment for Featherweight Java (Q5410450) (← links)
- Asynchronous Session Types and Progress for Object Oriented Languages (Q5428903) (← links)
- A Representation-Independent Behavioral Semantics for Object-Oriented Components (Q5428910) (← links)
- Programming Languages and Systems (Q5493382) (← links)
- JNI light: an operational model for the core JNI (Q5740640) (← links)
- Computation Against a Neighbour: Addressing Large-Scale Distribution and Adaptivity with Functional Programming and Scala (Q5883752) (← links)
