| Publication | Date of Publication | Type |
|---|
Unified program generation and verification: a case study on number-theoretic transform
| 2022-08-10 | Paper |
FFT program generation for ring LWE-based cryptography
| 2022-04-22 | Paper |
Language-integrated query with nested data structures and grouping
| 2021-07-06 | Paper |
One-shot algebraic effects as coroutines
| 2021-07-01 | Paper |
Refined environment classifiers. Type- and scope-safe code generation with mutable cells
Programming Languages and Systems | 2016-12-21 | Paper |
A sound and complete axiomatization of delimited continuations
Proceedings of the eighth ACM SIGPLAN international conference on Functional programming | 2015-07-02 | Paper |
Shifting the stage. Staging with delimited control
Journal of Functional Programming | 2012-09-21 | Paper |
A call-by-name CPS hierarchy
Functional and Logic Programming | 2012-07-20 | Paper |
Type checking and typability in domain-free lambda calculi
Theoretical Computer Science | 2012-01-04 | Paper |
Undecidability of Type-Checking in Domain-Free Typed Lambda-Calculi with Existence
Computer Science Logic | 2008-11-20 | Paper |
A Direct Algorithm for Multi-valued Bounded Model Checking
Automated Technology for Verification and Analysis | 2008-11-20 | Paper |
Polymorphic Delimited Continuations
Programming Languages and Systems | 2008-05-15 | Paper |
Typed Dynamic Control Operators for Delimited Continuations
Functional and Logic Programming | 2008-04-11 | Paper |
Axioms for control operators in the CPS hierarchy
Higher-Order and Symbolic Computation | 2007-12-17 | Paper |
Computer Science Logic
Lecture Notes in Computer Science | 2007-06-21 | Paper |
Computer Science Logic
Lecture Notes in Computer Science | 2005-08-22 | Paper |
scientific article; zbMATH DE number 2038177 (Why is no real title available?)
| 2004-02-12 | Paper |
scientific article; zbMATH DE number 2000436 (Why is no real title available?)
| 2003-11-03 | Paper |
scientific article; zbMATH DE number 1950453 (Why is no real title available?)
| 2003-07-17 | Paper |
scientific article; zbMATH DE number 1759490 (Why is no real title available?)
| 2002-11-25 | Paper |
Strong normalizability of the non-deterministic catch/throw calculi
Theoretical Computer Science | 2002-03-03 | Paper |
scientific article; zbMATH DE number 1693043 (Why is no real title available?)
| 2002-01-22 | Paper |
scientific article; zbMATH DE number 1444325 (Why is no real title available?)
| 2000-05-09 | Paper |
scientific article; zbMATH DE number 1377614 (Why is no real title available?)
| 1999-12-14 | Paper |
scientific article; zbMATH DE number 1372660 (Why is no real title available?)
| 1999-12-01 | Paper |
A TYPE-FREE THEORY OF HALF-MONOTONE INDUCTIVE DEFINITIONS
International Journal of Foundations of Computer Science | 1995-10-29 | Paper |
