Search Sciweavers | Sciweavers

25 search results - page 2 / 5

» popl 2002

click to vote

POPL
2002
ACM

102views Programming Languages» more POPL 2002»

Information flow inference for ML

14 years 5 months ago

Download www.normalesup.org

François Pottier, Vincent Simonet

claim paper

Read More »

click to vote

POPL
2002
ACM

101views Programming Languages» more POPL 2002»

Types as models: model checking message-passing programs

14 years 5 months ago

Download www.cs.cmu.edu

Sagar Chaki, Sriram K. Rajamani, Jakob Rehof

claim paper

Read More »

click to vote

POPL
2002
ACM

127views Programming Languages» more POPL 2002»

A type system for certified binaries

14 years 5 months ago

Download www.softlab.ntua.gr

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

claim paper

Read More »

click to vote

POPL
2002
ACM

103views Programming Languages» more POPL 2002»

Lazy abstraction

14 years 5 months ago

Download pho.ucsd.edu

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

claim paper

Read More »

click to vote

POPL
2002
ACM

92views Programming Languages» more POPL 2002»

Exploiting prolific types for memory management and optimizations

14 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers