Sciweavers

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