Search Sciweavers | Sciweavers

10585 search results - page 159 / 2117

» The Orc Programming Language

click to vote

POPL
2002
ACM

109views Programming Languages» more POPL 2002»

Stack inspection: theory and variants

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

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers