Search Sciweavers | Sciweavers

10666 search results - page 40 / 2134

» Quantum programming languages

click to vote

ICFP
2007
ACM

91views Programming Languages» more ICFP 2007»

Subtyping and intersection types revisited

14 years 7 months ago

Download www.cs.cmu.edu

Frank Pfenning

claim paper

Read More »

click to vote

ICFP
2005
ACM

104views Programming Languages» more ICFP 2005»

Towards a type theory of contexts

14 years 7 months ago

Download www.cs.cmu.edu

Frank Pfenning

claim paper

Read More »

click to vote

ICFP
2004
ACM

125views Programming Languages» more ICFP 2004»

Monadic regions

14 years 7 months ago

Download ttic.uchicago.edu

Matthew Fluet, J. Gregory Morrisett

claim paper

Read More »

click to vote

ICFP
2004
ACM

82views Programming Languages» more ICFP 2004»

Functional morphology

14 years 7 months ago

Download www.cs.chalmers.se

Markus Forsberg, Aarne Ranta

claim paper

Read More »

click to vote

ICFP
2003
ACM

93views Programming Languages» more ICFP 2003»

Call-by-value is dual to call-by-name

14 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers