The following pages link to Stefan Monnier (Q1826463):
Displayed 7 items.
- A syntactic approach to foundational proof-carrying code (Q1826465) (← links)
- Type-Safe Code Transformations in Haskell (Q2866331) (← links)
- Programming Type-Safe Transformations Using Higher-Order Abstract Syntax (Q2938052) (← links)
- Inlining as staged computation (Q4408686) (← links)
- A type-preserving compiler in Haskell (Q5178757) (← links)
- Programming type-safe transformations using higher-order abstract syntax (Q5195262) (← links)
- Is Impredicativity Implicitly Implicit (Q6079240) (← links)