| Publication | Date of Publication | Type |
|---|
| A Compilation Method for Dynamic Typing in ML | 2023-03-29 | Paper |
A fully concurrent garbage collector for functional programs on multicore processors
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming | 2017-05-10 | Paper |
Type inference with rank 1 polymorphism for type-directed compilation of ML
Proceedings of the fourth ACM SIGPLAN international conference on Functional programming | 2016-09-01 | Paper |
The essence of Ruby
Programming Languages and Systems | 2016-02-26 | Paper |
An interoperable calculus for external object access
Proceedings of the seventh ACM SIGPLAN international conference on Functional programming | 2015-10-07 | Paper |
A static type system for JVM access control
Proceedings of the eighth ACM SIGPLAN international conference on Functional programming | 2015-07-02 | Paper |
Lightweight fusion by fixed point promotion
Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-09-12 | Paper |
Dynamic programming via thinning and incrementalization
Functional and Logic Programming | 2014-07-24 | Paper |
Programming Languages and Systems
Lecture Notes in Computer Science | 2005-08-17 | Paper |
Register allocation by proof transformation
Science of Computer Programming | 2004-11-22 | Paper |
| scientific article; zbMATH DE number 1956567 (Why is no real title available?) | 2003-07-30 | Paper |
Type-directed specialization of polymorphism.
Information and Computation | 2003-01-14 | Paper |
| scientific article; zbMATH DE number 1696602 (Why is no real title available?) | 2002-07-22 | Paper |
A typed context calculus
Theoretical Computer Science | 2002-03-03 | Paper |
| scientific article; zbMATH DE number 1692950 (Why is no real title available?) | 2002-01-21 | Paper |
Parallel functional programming on recursively defined data via data-parallel recursion
Journal of Functional Programming | 2000-11-28 | Paper |
| scientific article; zbMATH DE number 1377610 (Why is no real title available?) | 1999-12-14 | Paper |
| scientific article; zbMATH DE number 1342285 (Why is no real title available?) | 1999-11-21 | Paper |
| scientific article; zbMATH DE number 1088037 (Why is no real title available?) | 1998-04-01 | Paper |
| scientific article; zbMATH DE number 219197 (Why is no real title available?) | 1993-06-29 | Paper |
Using powerdomains to generalize relational databases
Theoretical Computer Science | 1992-06-28 | Paper |
Semantics of types for database objects
Theoretical Computer Science | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4064450 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4049009 (Why is no real title available?) | 1986-01-01 | Paper |
