Fully Reflexive Intensional Type Analysis (2000)

by Valery Trifonov , Bratin Saha , Zhong Shao
Venue:In Fifth ACM SIGPLAN International Conference on Functional Programming
Citations:44 - 7 self

Documents Related by Co-Citation

260 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
142 Intensional Polymorphism in Type-Erasure Semantics – Karl Crary, Stephanie Weirich, Greg Morrisett - 2002
76 Flexible Type Analysis – Karl Crary, Stephanie Weirich - 1999
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
520 Lambda Calculi with Types – Henk Barendregt, S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, H. P. Barendregt - 1992
36 Higher-Order Intensional Type Analysis – Stephanie Weirich - 2002
107 Polytypic Values Possess Polykinded Types – Ralf Hinze - 2000
84 A type system for certified binaries – Zhong Shao, Valery Trifonov, Bratin Saha, Nikolaos Papaspyrou - 2002
38 Extensional polymorphism – C Dubois, F Rouaix, P Weis - 1995
178 PolyP - a polytypic programming language extension – Patrik Jansson, Johan Jeuring - 1997
290 Dependent Types in Practical Programming – Hongwei Xi, Dana Scott - 1998
54 Revisiting Catamorphisms over Datatypes with Embedded Functions (or, Programs from Outer Space) – Leonidas Fegaras, Tim Sheard - 1996
588 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
116 Resource Bound Certification – Karl Crary, Stephanie Weirich - 2000
288 Interpretation Fonctionelle et Elimination des Coupures dans l'Arithmetique d'Ordre Superieure – J -Y Girard - 1972
38 Type Dispatch for Named Hierarchical Types – Neal Glew - 1999
12 Models for security policies in proof-carrying code – A W Appel, E W Felten - 2001
141 Compiling with Proofs – George Ciprian Necula - 1998
127 A semantic model of types and machine instructions for proof-carrying code – Amy P. Felty