Sciweavers

10871 search results - page 169 / 2175
» A stable programming language
Sort
View
194
Voted
POPL
2002
ACM
16 years 2 months ago
Stack inspection: theory and variants
Cédric Fournet, Andrew D. Gordon
172
Voted
POPL
2002
ACM
16 years 2 months ago
Lazy abstraction
Grégoire Sutre, Ranjit Jhala, Rupak Majumda...
191
Voted
POPL
2002
ACM
16 years 2 months ago
Information flow inference for ML
François Pottier, Vincent Simonet
182
Voted
POPL
2002
ACM
16 years 2 months ago
A type system for certified binaries
Zhong Shao, Bratin Saha, Valery Trifonov, Nikolaos...
201
Voted
POPL
2001
ACM
16 years 2 months ago
Regular expression pattern matching for XML
Haruo Hosoya, Benjamin C. Pierce