MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "An Algorithm for Type-Checking Dependent Types." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 4 documents found, showing 1 through 4.
ATOM RSS
  • The type theory and type checker of GF  
  • by Petri Mäenpää, Aarne Ranta — 1999 — In Colloquium on Principles, Logics, and Implementations of High-Level Programming Languages, Workshop on Logical Frameworks and Meta-languages
  • … checking dependent types. GF extends this algorithm by a treatment of metavariables and constraints…
  • Cited by 2 (1 self) – Add To MetaCart
  • The type theory and type checker of GF  
  • by Petri Maenpaa Aarne, Aarne Ranta — 1999 — PLI-1999: Workshop on Logical Frameworks and Meta-languages
  • …'s (1996) algorithm for type checking dependent types. GF extends this algorithm by a treatment…
  • Add To MetaCart
  • Programming with Dependent Types  
  • by Yorck Huenke — 2000
  • … details of an algorithm for type checking dependent types is given in [11]. The type system of Cayenne…
  • Add To MetaCart
Help! Showing 1 through 4.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB