Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

82

Voted

POPL
2012
ACM

257views Programming Languages» more POPL 2012»

Canonicity for 2-dimensional type theory

13 years 10 months ago

Canonicity for 2-dimensional type theory

Download www.cs.cmu.edu

nvenient way of pattern-matching against abstract data types. Publications: Dissertation

Daniel R. Licata, Robert Harper

Real-time Traffic

POPL 2012 | Programming Languages |

claim paper

Related Content

» Computing Critical Pairs in 2Dimensional Rewriting Systems

» Towards Formalizing Categorical Models of Type Theory in Type Theory

» Inferring Type Isomorphisms Generically

» Stable definability and generic relations

» Refinement Types for Logical Frameworks and Their Interpretation as Proof Irrelevance

» Map fusion for nested datatypes in intensional type theory

» A Fourier Theory for Cast Shadows

» Binary Trees and Maximal Order Types

» Admissible Representations of Probability Measures

Post Info
More Details (n/a)

Added	25 Apr 2012
Updated	25 Apr 2012
Type	Journal
Year	2012
Where	POPL
Authors	Daniel R. Licata, Robert Harper

Comments (0)