Search Sciweavers | Sciweavers

10871 search results - page 169 / 2175

» A stable programming language

192

click to vote

POPL
2002
ACM

109views Programming Languages» more POPL 2002»

Stack inspection: theory and variants

16 years 2 months ago

Download research.microsoft.com

Cédric Fournet, Andrew D. Gordon

claim paper

Read More »

171

Voted

POPL
2002
ACM

103views Programming Languages» more POPL 2002»

Lazy abstraction

16 years 2 months ago

Download pho.ucsd.edu

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

claim paper

Read More »

190

click to vote

POPL
2002
ACM

102views Programming Languages» more POPL 2002»

Information flow inference for ML

16 years 2 months ago

Download www.normalesup.org

François Pottier, Vincent Simonet

claim paper

Read More »

180

Voted

POPL
2002
ACM

127views Programming Languages» more POPL 2002»

A type system for certified binaries

16 years 2 months ago

Download www.softlab.ntua.gr

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

claim paper

Read More »

199

Voted

POPL
2001
ACM

140views Programming Languages» more POPL 2001»

Regular expression pattern matching for XML

16 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers