Lambda lifting: transforming programs to recursive equations
Proc. of a conference on Functional programming languages and computer architecture
ORBIT: an optimizing compiler for scheme
SIGPLAN '86 Proceedings of the 1986 SIGPLAN symposium on Compiler construction
Control flow analysis in scheme
PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
Compilation of functional languages using flow graph analysis
Software—Practice & Experience
Orbit: an optimizing compiler for scheme
Orbit: an optimizing compiler for scheme
Storage use analysis and its applications
Proceedings of the first ACM SIGPLAN international conference on Functional programming
Formalizing the safety of Java, the Java virtual machine, and Java card
ACM Computing Surveys (CSUR)
Compiling scheme to JVM bytecode:: a performance study
Proceedings of the seventh ACM SIGPLAN international conference on Functional programming
Type-sensitive control-flow analysis
Proceedings of the 2006 workshop on ML
Specialization of CML message-passing primitives
Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
IFL'09 Proceedings of the 21st international conference on Implementation and application of functional languages
Flow-sensitive type recovery in linear-log time
Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
Control-flow analysis of functional programs
ACM Computing Surveys (CSUR)
Higher-order symbolic execution via contracts
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
| Hi-index | 0.00 |