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

14 years 6 months ago

Download www.cs.cmu.edu

Frank Pfenning

claim paper

Read More »

click to vote

APLAS
2001
ACM

111views Programming Languages» more APLAS 2001»

Dynamic Control Operators in Type Theory

13 years 10 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

13 years 4 months ago

Download typesatwork.imm.dtu.dk

Andrew Kennedy

claim paper

Read More »

click to vote

POPL
2003
ACM

101views Programming Languages» more POPL 2003»

A type theory for memory allocation and data layout

14 years 7 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

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers