POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The definition of Standard ML
Type inference for polymorphic references
Information and Computation
Principal type-schemes for functional programs
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
ESOP '88 Proceedings of the 2nd European Symposium on Programming
Towards a theory of type structure
Programming Symposium, Proceedings Colloque sur la Programmation
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
First-Class Synchronous Operations in Standard ML
First-Class Synchronous Operations in Standard ML
LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
Global tagging optimization by type inference
LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
Explicit polymorphism and CPS conversion
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Polymorphism by name for references and continuations
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Polymorphism and type inference in database programming
ACM Transactions on Database Systems (TODS)
Polymorphic typing of variables and references
ACM Transactions on Programming Languages and Systems (TOPLAS)
A practical soft type system for scheme
ACM Transactions on Programming Languages and Systems (TOPLAS)
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
Information and Computation
A uniform type structure for secure information flow
ACM Transactions on Programming Languages and Systems (TOPLAS)
Efficient type inference using ranked type variables
ML '07 Proceedings of the 2007 workshop on Workshop on ML
Optimizing floating point operations in Scheme
Computer Languages
| Hi-index | 0.00 |