researchr - search publication pure type systems

researchr

You are not signed in
Sign in
Sign up

60 publication results matching 'pure type systems'

Parametricity and dependent types, and their relations are expressed in a single typed lambda calculus (a pure type ...
Reynolds’ abstraction theorem shows how a typing judgement in System F can ... some constraints on the type system (which we spell out), the result appliesJean-Philippe Bernardy, Patrik Jansson, Ross Paterson. ICFP 2010: 345-356 [doi]
Typing in Pure Type SystemsL. S. van Benthem Jutting. iandc, 105(1):30-41, July 1993.
Type Inference for Pure Type SystemsPaula Severi. iandc, 143(1):1-23, 1998.
Modal Pure Type SystemsTijn Borghuis. jolli, 7(3):265-296, 1998.
Automath and Pure Type SystemsFairouz Kamareddine, Twan Laan, Rob Nederpelt. ENTCS, 85(7), 2003. [doi]
Parameters in Pure Type SystemsRoel Bloo, Fairouz Kamareddine, Twan Laan, Rob Nederpelt. latin 2002: 371-385 [doi]
Pure Type Systems FormalizedJames McKinna, Robert Pollack. tlca 1993: 289-305
Extensions of Pure Type SystemsGilles Barthe. tlca 1995: 16-31
Pure Type Systems with DefinitionsPaula Severi, Erik Poll. lfcs 1994: 316-328
Pure patterns type systemsGilles Barthe, Horatiu Cirstea, Claude Kirchner, Luigi Liquori. POPL 2003: 250-261 [doi]
Pure Type Systems with SubtypingJan Zwanenburg. tlca 1999: 381-396 [doi]
Checking Algorithms for Pure Type SystemsL. S. van Benthem Jutting, James McKinna, Robert Pollack. TYPES 1994: 19-61
An induction principle for pure type systemsGilles Barthe, John Hatcliff, Morten Heine Sørensen. TCS, 266(1-2):773-818, 2001. [doi]
The expansion postponement in Pure Type SystemsFangmin Song. jcst, 12(6):555-563, 1997. [doi]
Are there Hilbert-style Pure Type Systems?Martin W. Bunder, Wil Dekkers. lmcs, 4(1), 2008. [doi]
Domain-free pure type systemsGilles Barthe, Morten Heine Sørensen. JFP, 10(5):417-452, 2000.
Pure type systems with judgemental equalityRobin Adams. JFP, 16(2):219-246, 2006. [doi]
A notion of classical pure type systemGilles Barthe, John Hatcliff, Morten Heine Sørensen. ENTCS, 6:4-59, 1997. [doi]
Pure type systems with explicit substitutionRoel Bloo. mscs, 11(1):3-19, 2001.
A Module Calculus for Pure Type SystemsJudicaël Courant. tlca 1997: 112-128

Sign in or sign up to see more results.