Tagless Staged Interpreters for Typed Languages (2002)

by Emir Pasalic , Walid Taha , Tim Sheard
Venue:In the International Conference on Functional Programming (ICFP ’02
Citations:53 - 11 self

Active Bibliography

8 Certified Run-time Code Generation – Frederick M. Smith - 2002
2 Automated Techniques for Provably Safe Mobile Code – Karl Crary , Robert Harper, Peter Lee, Frank Pfenning - 2000
5 Automated Techniques for Provably Safe Mobile Code – Christopher Colby, Karl Crary, Robert Harper, Peter Lee, Frank Pfenning - 2000
69 Languages of the Future – Tim Sheard - 2004
4 A cost-effective foundational certified code system – Susmit Sarkar - 2005
7 Generating heap-bounded programs in a functional setting – Walid Taha, Stephan Ellner, Hongwei Xi - 2003
11 Programming With Types – Stephanie Claudene Weirich - 2002
89 A Type System for Expressive Security Policies – David Walker - 2000
84 A type system for certified binaries – Zhong Shao, Valery Trifonov, Bratin Saha, Nikolaos Papaspyrou - 2002
Abstract VeriML: A dependently-typed, user-extensible and language-centric approach to proof assistants – Antonios Michael Stampoulis - 2013
35 Dependent Types for Program Termination Verification – Hongwei Xi - 2001
13 Constrained Types for Object-Oriented Languages – Vijay Saraswat, Nathaniel Nystrom, Jens Palsberg, Christian Grothoff
129 Guarded Recursive Datatype Constructors – Hongwei Xi, Chiyan Chen, Gang Chen - 2003
15 A Monadic Multi-stage Metalanguage – E. Moggi, S. Fagorzi - 2003
4 Modelyze: a Gradually Typed Host Language for Embedding Equation-Based Modeling Languages – David Broman, Jeremy G. Siek - 2012
High-Assurance Common Language Runtime – Andrew Appel, David Walker, Zhong Shao, Valery Trifonov
2 Type-based Inference of Size Relationships for XML Transformations – Zhendong Su, et al.
25 Constraint-Based Type Inference for Guarded Algebraic Data Types – Vincent Simonet, François Pottier - 2003
24 A constraint-based approach to guarded algebraic data types – Vincent Simonet, François Pottier - 2007