Document in the database:

Details   CPS Translations and Applications: The Cube and Beyond (1996) Gilles Barthe

15 documents cite this article.

Citing documents:

Details   CPS Translations and Applications: The Cube and Beyond (1996) Gilles Barthe,

Details   A Notion of Classical Pure Type System (1997) Gilles Barthe, John Hatcliff,

Details   CPS Translations and Applications: The Cube and Beyond (1998) Gilles Barthe,

Details   An Induction Principle for Pure Type Systems (1998) Gilles Barthe, John

Details   A Notion of Classical Pure Type System (1997) Gilles Barthe, John Hatcliff, et

Details   Domain-Free Pure Type Systems (1993) Gilles Barthe, Morten Heine Sørensen

Details   Monadic Type Systems: Pure Type Systems for Impure Settings (1998) Gilles

Details   An Induction Principle for Pure Type Systems (2000) Gilles Barthe, John

Details   CPS Translating Inductive and Coinductive Types (Extended Abstract) (2002)

Details   CPS Translations and Applications: The Cube and Beyond (1996) Gilles Barthe

Details   Weak Normalization Implies Strong Normalization in Generalized Non-Dependent Pure Type Systems Gilles Barthe, John Hatcliff, Morten Heine Sørensen Weak Normalization Implies Strong Normalization in Generalized Non-Depen

Details   CPS Translating Inductive and Coinductive Types (Extended Abstract) (2002)

Details   Monad Translating Inductive and Coinductive Types (2003) Tarmo Uustalu

Details   High-Assurance Common Language Runtime Andrew Appel, David Walker,

Details   Weak and Strong Normalization, K-redexes, and First-Order Logic (1999) Peter Mø

CiteSeer.IST - Copyright Penn State and NEC