| Publication | Date of Publication | Type |
|---|
Optimal implementation of quantum gates with two controls
Linear Algebra and its Applications | 2024-05-17 | Paper |
Comparing flow-based binding-time analyses
TAPSOFT '95: Theory and Practice of Software Development | 2022-08-18 | Paper |
Breaking through the normalization barrier: a self-interpreter for F-omega
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-10-24 | Paper |
Self-representation in Girard's System U
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-09-29 | Paper |
Typed self-interpretation by pattern matching
Proceedings of the 16th ACM SIGPLAN international conference on Functional programming | 2015-03-05 | Paper |
The essence of compiling with traces
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-04-10 | Paper |
Overloading Is NP-Complete
Logic and Program Semantics | 2012-07-16 | Paper |
A typed interrupt calculus
Lecture Notes in Computer Science | 2011-04-08 | Paper |
Tribute to Peter Mosses
Semantics and Algebraic Specification | 2009-10-22 | Paper |
A Framework for End-to-End Verification and Evaluation of Register Allocators
Static Analysis | 2009-03-03 | Paper |
Aliased register allocation for straight-line programs is NP-complete
Theoretical Computer Science | 2008-11-18 | Paper |
Aliased Register Allocation for Straight-Line Programs Is NP-Complete
Automata, Languages and Programming | 2007-11-28 | Paper |
Foundations of Software Science and Computation Structures
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Programming Languages and Systems
Lecture Notes in Computer Science | 2006-10-20 | Paper |
Type-based confinement
Journal of Functional Programming | 2006-01-13 | Paper |
Programming Languages and Systems
Lecture Notes in Computer Science | 2005-09-13 | Paper |
Stack size analysis for interrupt-driven programs
Information and Computation | 2005-01-11 | Paper |
Type inference for record concatenation and subtyping
Information and Computation | 2004-11-23 | Paper |
Type-safe method inlining
Science of Computer Programming | 2004-11-22 | Paper |
| scientific article; zbMATH DE number 2090843 (Why is no real title available?) | 2004-08-13 | Paper |
| scientific article; zbMATH DE number 2089398 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2087431 (Why is no real title available?) | 2004-08-11 | Paper |
CPS transformation of flow information
Journal of Functional Programming | 2004-03-29 | Paper |
Efficient and flexible matching of recursive types
Information and Computation | 2003-01-14 | Paper |
| scientific article; zbMATH DE number 1089242 (Why is no real title available?) | 2002-11-24 | Paper |
| scientific article; zbMATH DE number 1256673 (Why is no real title available?) | 2002-01-20 | Paper |
From polyvariant flow information to intersection and union types
Journal of Functional Programming | 2001-07-23 | Paper |
Safety analysis versus type inference
Information and Computation | 2000-06-27 | Paper |
| scientific article; zbMATH DE number 1456967 (Why is no real title available?) | 2000-06-07 | Paper |
Optimal representations of polymorphic types with subtyping
Higher-Order and Symbolic Computation | 2000-02-08 | Paper |
| scientific article; zbMATH DE number 1354143 (Why is no real title available?) | 1999-10-31 | Paper |
Trust in the λ-calculus
Journal of Functional Programming | 1999-03-16 | Paper |
| scientific article; zbMATH DE number 1088035 (Why is no real title available?) | 1997-11-17 | Paper |
Type inference with non-structural subtyping
Formal Aspects of Computing | 1997-08-03 | Paper |
Complexity results for 1-safe nets
Theoretical Computer Science | 1997-02-28 | Paper |
A new approach to compiling adaptive programs
Science of Computer Programming | 1997-01-01 | Paper |
Generating action compilers by partial evaluation
Journal of Functional Programming | 1996-10-14 | Paper |
Erratum to ``Efficient inference of object types''
Information and Computation | 1996-07-03 | Paper |
Strong normalization with non-structural subtyping
Mathematical Structures in Computer Science | 1996-07-01 | Paper |
Efficient inference of object types
Information and Computation | 1996-03-19 | Paper |
Static typing for object-oriented programming
Science of Computer Programming | 1996-02-26 | Paper |
Efficient recursive subtyping
Mathematical Structures in Computer Science | 1995-10-25 | Paper |
| scientific article; zbMATH DE number 711035 (Why is no real title available?) | 1995-01-12 | Paper |
Efficient inference of partial types
Journal of Computer and System Sciences | 1994-11-06 | Paper |
Normal forms have partial types
Information Processing Letters | 1993-05-16 | Paper |
Safety analysis versus type inference for partial types
Information Processing Letters | 1993-01-17 | Paper |
