Dependently Typed Records for Representing Mathematical Structure (2000)

Cached

Download Links

by Robert Pollack
Venue:Theorem Proving in Higher Order Logics, TPHOLs 2000
Citations:14 - 0 self

Active Bibliography

4 Manifest fields and module mechanisms in intensional type theory – Zhaohui Luo - 2009
Intensional Manifest Fields in Module Types ✩ – Zhaohui Luo
21 A logical framework with dependently typed records – Thierry Coquand Randy Pollack - 2003
69 Types for Modules – Claudio V. Russo - 1998
Lego and Related Work – Zhaohui Luo - 1999
2 Dependent Record Types Revisited – Zhaohui Luo
8 Working with Mathematical Structures in Type Theory – Claudio Sacerdoti Coen, Enrico Tassi
15 An applicative module calculus – Judicaël Courant - 1997
79 A Modular Module System – Xavier Leroy - 2000
Information and Computation 168(1):1-67, (2001) Dependent types with subtyping – Gang Chen - 1998
Type Theory for Programming Languages – Robert Harper - 1994
Functions, Frames, and Interactions -- completing a λ-calculus-based purely functional language with respect to programming-in-the-large and interactions with runtime environments – Claus Reinke - 1998
2 Standard ML Type Generativity as Existential Quantification – Claudio V. Russo, Claudio V. Russo - 1996
Thesis Proposal: Effective Type Theory for Modularity – Derek Dreyer, Peter Lee - 2002
34 Typed Cross-Module Compilation – Zhong Shao - 1998
14 From Hindley-Milner types to first-class structures – Mark P. Jones - 1995
83 A Type System for Higher-Order Modules – Derek Dreyer, Karl Crary, Robert Harper - 2003
58 Translucent Sums: A Foundation for Higher-Order Module Systems – Mark Lillibridge - 1997
17 Non-Dependent Types for Standard ML Modules – Claudio V. Russo - 1999