Sciweavers

10575 search results - page 143 / 2115
» Programming Languages
Sort
View
POPL
2002
ACM
16 years 2 months ago
Information flow inference for ML
François Pottier, Vincent Simonet
POPL
2002
ACM
16 years 2 months ago
A type system for certified binaries
Zhong Shao, Bratin Saha, Valery Trifonov, Nikolaos...
POPL
2001
ACM
16 years 2 months ago
Regular expression pattern matching for XML
Haruo Hosoya, Benjamin C. Pierce
ICFP
2008
ACM
16 years 2 months ago
FPH: first-class polymorphism for Haskell
Dimitrios Vytiniotis, Stephanie Weirich, Simon L. ...
ICFP
2007
ACM
16 years 2 months ago
On Barron and Strachey's cartesian product function
Olivier Danvy, J. Michael Spivey