Stefan Monnier
From MaRDI portal
Person:1826463
Available identifiers
zbMath Open monnier.stefanMaRDI QIDQ1826463
List of research outcomes
Publication | Date of Publication | Type |
---|---|---|
Is Impredicativity Implicitly Implicit | 2023-10-27 | Paper |
Programming type-safe transformations using higher-order abstract syntax | 2019-09-18 | Paper |
A type-preserving compiler in Haskell | 2015-03-16 | Paper |
Programming Type-Safe Transformations Using Higher-Order Abstract Syntax | 2015-01-13 | Paper |
Type-Safe Code Transformations in Haskell | 2013-12-13 | Paper |
A syntactic approach to foundational proof-carrying code | 2004-08-06 | Paper |
Inlining as staged computation | 2003-01-01 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
Property | Value |
---|---|
MaRDI profile type | MaRDI person profile |
instance of | human |
This page was built for person: Stefan Monnier