Search Sciweavers | Sciweavers

10666 search results - page 167 / 2134

» Quantum programming languages

click to vote

POPL
2002
ACM

102views Programming Languages» more POPL 2002»

Information flow inference for ML

14 years 10 months ago

Download www.normalesup.org

François Pottier, Vincent Simonet

claim paper

Read More »

click to vote

POPL
2002
ACM

127views Programming Languages» more POPL 2002»

A type system for certified binaries

14 years 10 months ago

Download www.softlab.ntua.gr

Zhong Shao, Bratin Saha, Valery Trifonov, Nikolaos...

claim paper

Read More »

click to vote

POPL
2001
ACM

140views Programming Languages» more POPL 2001»

Regular expression pattern matching for XML

14 years 10 months ago

Download arbre.is.s.u-tokyo.ac.jp

Haruo Hosoya, Benjamin C. Pierce

claim paper

Read More »

click to vote

ICFP
2008
ACM

118views Programming Languages» more ICFP 2008»

FPH: first-class polymorphism for Haskell

14 years 10 months ago

Download www.cis.upenn.edu

Dimitrios Vytiniotis, Stephanie Weirich, Simon L. ...

claim paper

Read More »

click to vote

ICFP
2007
ACM

110views Programming Languages» more ICFP 2007»

On Barron and Strachey's cartesian product function

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers