Search Sciweavers | Sciweavers

10585 search results - page 231 / 2117

» The Orc Programming Language

216

click to vote

POPL
2005
ACM

106views Programming Languages» more POPL 2005»

A bisimulation for type abstraction and recursion

16 years 4 months ago

Download www.kb.ecei.tohoku.ac.jp

traction and Recursion Eijiro Sumii Benjamin C. Pierce University of Pennsylvania

Eijiro Sumii, Benjamin C. Pierce

claim paper

Read More »

187

Voted

POPL
2004
ACM

86views Programming Languages» more POPL 2004»

Local reasoning about a copying garbage collector

16 years 4 months ago

Download www.itu.dk

Lars Birkedal, Noah Torp-Smith, John C. Reynolds

claim paper

Read More »

200

click to vote

POPL
2002
ACM

92views Programming Languages» more POPL 2002»

Exploiting prolific types for memory management and optimizations

16 years 4 months ago

Download www.research.ibm.com

Yefim Shuf, Manish Gupta, Rajesh Bordawekar, Jaswi...

claim paper

Read More »

193

click to vote

POPL
2001
ACM

107views Programming Languages» more POPL 2001»

What packets may come: automata for network monitoring

16 years 4 months ago

Download seclab.uiuc.edu

Karthikeyan Bhargavan, Satish Chandra, Peter J. Mc...

claim paper

Read More »

116

click to vote

ICFP
2008
ACM

119views Programming Languages» more ICFP 2008»

A lightweight approach to datatype-generic rewriting

16 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers