| Publication | Date of Publication | Type |
|---|
| Galois connecting call-by-value and call-by-name | 2024-05-27 | Paper |
Galois connecting call-by-value and call-by-name
Logical Methods in Computer Science | 2024-03-11 | Paper |
Extended call-by-push-value: reasoning about effectful programs and evaluation order
Programming Languages and Systems | 2023-11-24 | Paper |
| The next 7000 programming languages | 2022-02-16 | Paper |
Polymorphism, subtyping, and type inference in MLsub
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages | 2017-10-20 | Paper |
Coeffects: a calculus of context-dependent computation
Proceedings of the 19th ACM SIGPLAN international conference on Functional programming | 2016-09-29 | Paper |
Effect systems revisited -- control-flow algebra and semantics
Semantics, Logics, and Calculi | 2016-03-23 | Paper |
Coeffects: unified static analysis of context-dependence
Automata, Languages, and Programming | 2013-08-07 | Paper |
Strictness meets data flow
Static Analysis | 2010-10-01 | Paper |
Compiler Construction
Lecture Notes in Computer Science | 2007-09-28 | Paper |
Programming Languages and Systems
Lecture Notes in Computer Science | 2007-09-28 | Paper |
Programming Languages and Systems
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Abstract interpretation of combinational asynchronous circuits
Science of Computer Programming | 2007-01-22 | Paper |
Static Analysis
Lecture Notes in Computer Science | 2005-08-24 | Paper |
Bidirectional data flow analysis for type inferencing.
Computer Languages, Systems & Structures | 2003-08-07 | Paper |
| scientific article; zbMATH DE number 1956452 (Why is no real title available?) | 2003-07-30 | Paper |
| scientific article; zbMATH DE number 1852161 (Why is no real title available?) | 2003-01-09 | Paper |
| scientific article; zbMATH DE number 1852145 (Why is no real title available?) | 2003-01-09 | Paper |
| scientific article; zbMATH DE number 1832218 (Why is no real title available?) | 2002-11-19 | Paper |
| scientific article; zbMATH DE number 1701762 (Why is no real title available?) | 2002-02-05 | Paper |
| scientific article; zbMATH DE number 1670812 (Why is no real title available?) | 2001-12-09 | Paper |
| scientific article; zbMATH DE number 1678377 (Why is no real title available?) | 2001-12-04 | Paper |
Untyped strictness analysis
Journal of Functional Programming | 1995-06-08 | Paper |
| scientific article; zbMATH DE number 176724 (Why is no real title available?) | 1993-05-18 | Paper |
| scientific article; zbMATH DE number 3938547 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3874579 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3896316 (Why is no real title available?) | 1984-01-01 | Paper |
A polymorphic type system for Prolog
Artificial Intelligence | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3866574 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3817015 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3679159 (Why is no real title available?) | 1980-01-01 | Paper |
