13 papers:
TLCA-2013-FridlenderP #algorithm #evaluation #normalisation #type system- A Type-Checking Algorithm for Martin-Löf Type Theory with Subtyping Based on Normalisation by Evaluation (DF, MP), pp. 140–155.
- TLCA-2011-ClairambaultD #category theory
- The Biequivalence of Locally Cartesian Closed Categories and Martin-Löf Type Theories (PC, PD), pp. 91–106.
ICALP-v1-2009-HoyrupR #effectiveness #probability- Applications of Effective Probability Theory to Martin-Löf Randomness (MH, CR), pp. 549–561.
- TLCA-2009-AwodeyR #semantics #type system
- Kripke Semantics for Martin-Löf’s Extensional Type Theory (SA, FR), pp. 249–263.
LICS-2007-AbelCD #evaluation #normalisation #similarity #type system- Normalization by Evaluation for Martin-Lof Type Theory with Typed Equality Judgements (AA, TC, PD), pp. 3–12.
ICSM-2006-Alexander #challenge #maintenance #on the #scalability- On the Challenges of Maintaining Large-Scale Software Systems at Lockheed Martin (LDA), p. 2.
SIGAda-2006-Klein #ada- Use of Ada in Lockheed Martin for air traffic management and beyond (JK), p. 1.
- TLCA-2005-AbelC #algorithm #framework #logic #similarity
- Untyped Algorithmic Equality for Martin-Löf’s Logical Framework with Surjective Pairs (AA, TC), pp. 23–38.
FLOPS-J1-1998-Tsukada01 #framework #type system- Martin-Löf’s Type Theory as an Open-Ended Framework (YT), pp. 31–67.
- LICS-1991-Howe #on the #type system
- On Computational Open-Endedness in Martin-Löf’s Type Theory (DJH), pp. 162–172.
ESEC-1989-Ince #analysis #data flow #design #empirical #metric- Martin J. Shepperd: An Empirical and Theoretical Analysis of an Information Flow-Based System Design Metric (DCI), pp. 86–99.
- LICS-1988-SalvesenS #set #type system
- The Strength of the Subset Type in Martin-Löf’s Type Theory (AS, JMS), pp. 384–391.
- LICS-1987-Allen
- A Non-Type-Theoretic Definition of Martin-Löf’s Types (SA), pp. 215–221.
