Search Sciweavers | Sciweavers

10575 search results - page 143 / 2115

» Programming Languages

150

click to vote

POPL
2002
ACM

102views Programming Languages» more POPL 2002»

Information flow inference for ML

15 years 10 months ago

Download www.normalesup.org

François Pottier, Vincent Simonet

claim paper

Read More »

140

click to vote

POPL
2002
ACM

127views Programming Languages» more POPL 2002»

A type system for certified binaries

15 years 10 months ago

Download www.softlab.ntua.gr

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

claim paper

Read More »

144

click to vote

POPL
2001
ACM

140views Programming Languages» more POPL 2001»

Regular expression pattern matching for XML

15 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

15 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

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers