|
6
|
Dependently Typed Programming with Domain-Specific Logics
– Daniel R. Licata, Robert Harper
- 2008
|
|
1
|
Implementing Certified Programming Language Tools Dependent Type Theory
– Adam James Chlipala, Adam James Chlipala
- 2007
|
|
|
Languages, Verification
– Daniel R. Licata, Robert Harper
|
|
|
Irrelevance, Polymorphism, and Erasure in Type Theory
– Richard Nathan Mishra-Linger
- 2008
|
|
3
|
Positively Dependent Types
– Daniel R. Licata, Robert Harper
- 2008
|
|
|
Refinement-Based Program Verification via . . .
– Alexey A. Loginov
- 2006
|
|
13
|
On Role Logic
– Viktor Kuncak, Martin Rinard
- 2003
|
|
2
|
What a Mesh: Dependent Data Types for Correct Mesh Manipulation Algorithms
– Joel R. Brandt, Cindy Grimm, Saint Louis Missouri, Student Joel, R. Br, Advisors Aaron Stump, Cindy Grimm
- 2005
|
|
11
|
Implementing Typeful Program Transformations
– Chiyan Chen, Rui Shi, Hongwei Xi
|
|
32
|
Modular Data Structure Verification
– Martin C. Rinard
- 2007
|
|
|
A Generic Formal Metatheory Framework for First-Order Representations
– Gyesik Lee, Bruno C. D. S. Oliveira, Sungkeun Cho, Kwangkeun Yi
|
|
1
|
Higher-Order Encodings with Constructors
– Edwin M. Westbrook
- 2008
|
|
1
|
Erasure and Polymorphism in Pure Type Systems
– Nathan Mishra Linger, Tim Sheard
|
|
5
|
Refined typechecking with Stardust
– Joshua Dunfield
- 2007
|
|
9
|
On modular pluggable analyses using set interfaces
– Patrick Lam, Viktor Kuncak, Martin Rinard
- 2003
|
|
203
|
A Linear Logical Framework
– Iliano Cervesato, Frank Pfenning
- 1996
|
|
60
|
A concurrent logical framework I: Judgments and properties
– Kevin Watkins, Iliano Cervesato, Frank Pfenning, David Walker
- 2003
|
|
|
On Equivalence and Canonical Forms
– In The Lf, Robert Harper, Frank Pfenning
- 2000
|
|
3
|
Intensionality, Extensionality, and Proof Irrelevance in Modal Type Theory
– Frank Pfenning
- 2001
|
