POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Enriching the lambda calculus with contexts: toward a theory of incremental program construction
Proceedings of the first ACM SIGPLAN international conference on Functional programming
Information and Computation - FOOL V
PICCOLA---a small composition language
Formal methods for distributed processing
A 3-Part Type Inference Engine
ESOP '00 Proceedings of the 9th European Symposium on Programming Languages and Systems
The Recursive Record Semantics of Objects Revisited
ESOP '01 Proceedings of the 10th European Symposium on Programming Languages and Systems
Programming methodology
The recursive record semantics of objects revisited
Journal of Functional Programming
Type inference for a distributed π-calculus
Science of Computer Programming - Special issue on 12th European symposium on programming (ESOP 2003)
A form-based meta-model for software composition
Science of Computer Programming - Special issue on new software composition concepts
Extensible programming with first-class cases
Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming
A calculus for reasoning about software composition
Theoretical Computer Science - Formal methods for components and objects
Alias Types and Effects for "Environment-aware" Computations
Fundamenta Informaticae
Typed compilation against non-manifest base classes
CASSIS'05 Proceedings of the Second international conference on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Program generation and components
FMCO'04 Proceedings of the Third international conference on Formal Methods for Components and Objects
Alias Types and Effects for "Environment-aware" Computations
Fundamenta Informaticae
Hi-index | 0.00 |