Globalization and live variables
PEPM '91 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Logic programming in the LF logical framework
Logical frameworks
Compiling with continuations
A framework for defining logics
Journal of the ACM (JACM)
Natural semantics and some of its meta-theory in Elf
ELP'91 Conference Proceedings on Extensions of logic programming
TIL: a type-directed optimizing compiler for ML
PLDI '96 Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation
A type-based escape analysis for functional languages
Journal of Functional Programming
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
Higher-Order and Symbolic Computation
Functioning without closure: type-safe customized function representations for standard ML
Proceedings of the sixth ACM SIGPLAN international conference on Functional programming
The Correctness of Type Specialisation
ESOP '00 Proceedings of the 9th European Symposium on Programming Languages and Systems
Type Systems for Useless-Variable Elimination
PADO '01 Proceedings of the Second Symposium on Programs as Data Objects
Specification and Correctness of Lambda Lifting
SAIG '00 Proceedings of the International Workshop on Semantics, Applications, and Implementation of Program Generation
Program Representation Size in an Intermediate Language with Intersection and Union Types
TIC '00 Selected papers from the Third International Workshop on Types in Compilation
A calculus with polymorphic and polyvariant flow types
Journal of Functional Programming
| Hi-index | 0.00 |