Search Sciweavers | Sciweavers

416 search results - page 1 / 84

» Programming in Martin-Löf's Type Theory

click to vote

ICFP
2005
ACM

104views Programming Languages» more ICFP 2005»

Towards a type theory of contexts

15 years 9 months ago

Download www.cs.cmu.edu

Frank Pfenning

claim paper

Read More »

Voted

APLAS
2001
ACM

111views Programming Languages» more APLAS 2001»

Dynamic Control Operators in Type Theory

15 years 1 months ago

Download www.jst.go.jp

Yukiyoshi Kameyama

claim paper

Read More »

click to vote

CEFP
2009
Springer

126views Programming Languages» more CEFP 2009»

Types for Units-of-Measure: Theory and Practice

14 years 7 months ago

Download typesatwork.imm.dtu.dk

Andrew Kennedy

claim paper

Read More »

140

click to vote

POPL
2003
ACM

101views Programming Languages» more POPL 2003»

A type theory for memory allocation and data layout

15 years 10 months ago

Download www-2.cs.cmu.edu

Leaf Petersen, Robert Harper, Karl Crary, Frank Pf...

claim paper

Read More »

click to vote

ESOP
2007
Springer

87views Programming Languages» more ESOP 2007»

Abstract Predicates and Mutable ADTs in Hoare Type Theory

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers