Applied Type System

This publication has 10 references indexed in Scilit:

• Inductive definitions in the system Coq rules and properties
  Published by Springer Nature ,2005
• Meta-programming through typeful code representation
  Published by Association for Computing Machinery (ACM) ,2003
• Guarded recursive datatype constructors
  Published by Association for Computing Machinery (ACM) ,2003
• A type system for certified binaries
  Published by Association for Computing Machinery (ACM) ,2002
• Dependent types in practical programming
  Published by Association for Computing Machinery (ACM) ,1999
• Indexed types
  Theoretical Computer Science, 1997
• A Variable Typed Logic of Effects
  Information and Computation, 1995
• Qualified Types
  Published by Cambridge University Press (CUP) ,1994
• A simplified account of polymorphic references
  Information Processing Letters, 1994
• Inductively defined types in the Calculus of Constructions
  Published by Springer Nature ,1990