Search Sciweavers | Sciweavers

10871 search results - page 169 / 2175

» A stable programming language

click to vote

POPL
2002
ACM

109views Programming Languages» more POPL 2002»

Stack inspection: theory and variants

14 years 11 months ago

Download research.microsoft.com

Cédric Fournet, Andrew D. Gordon

claim paper

Read More »

click to vote

POPL
2002
ACM

103views Programming Languages» more POPL 2002»

Lazy abstraction

14 years 11 months ago

Download pho.ucsd.edu

Grégoire Sutre, Ranjit Jhala, Rupak Majumda...

claim paper

Read More »

click to vote

POPL
2002
ACM

102views Programming Languages» more POPL 2002»

Information flow inference for ML

14 years 11 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 11 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 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers