Sciweavers

10622 search results - page 162 / 2125
» Python Programming Language
Sort
View
195
Voted
POPL
2002
ACM
16 years 3 months ago
Stack inspection: theory and variants
Cédric Fournet, Andrew D. Gordon
173
Voted
POPL
2002
ACM
16 years 3 months ago
Lazy abstraction
Grégoire Sutre, Ranjit Jhala, Rupak Majumda...
192
Voted
POPL
2002
ACM
16 years 3 months ago
Information flow inference for ML
François Pottier, Vincent Simonet
182
Voted
POPL
2002
ACM
16 years 3 months ago
A type system for certified binaries
Zhong Shao, Bratin Saha, Valery Trifonov, Nikolaos...