Sciweavers

15 search results - page 2 / 3
» icfp 2000
Sort
View
ICFP
2000
ACM
13 years 9 months ago
Regular expression types for XML
Haruo Hosoya, Jerome Vouillon, Benjamin C. Pierce
ICFP
2000
ACM
13 years 9 months ago
Make it practical: a generic linear-time algorithm for solving maximum-weightsum problems
ÁÒ Ø × Ô Ô Ö Û ÔÖÓÔÓ× Ò Û Ñ Ø Ó ÓÖ Ö Ú Ò ÔÖ Ø ¹ Ð Ð Ò Ö¹Ø Ñ Ð ÓÖ Ø Ñ ÖÓÑ Ø ×Ô ¬ Ø ÓÒ Ó Ñ Ü ÑÙÑ¹Û Ø×ÙÑ ÔÖÓ Ð Ñ Ö...
Isao Sasano, Zhenjiang Hu, Masato Takeichi, Mizuhi...
ICFP
2000
ACM
13 years 9 months ago
An operational semantics for parallel lazy evaluation
Ï ÔÖ × ÒØ Ò ÓÔ Ö Ø ÓÒ Ð × Ñ ÒØ × ÓÖ Ô Ö ÐÐ Ð Ð ÞÝ Ú Ð¹ Ù Ø ÓÒ Ø Ø ÙÖ Ø ÐÝ ÑÓ Ð× Ø Ô Ö ÐÐ Ð Ú ÓÙÖ Ó Ø ÒÓÒ¹×ØÖ ...
Clement A. Baker-Finch, David J. King, Philip W. T...
ICFP
2000
ACM
13 years 9 months ago
Non-stop Haskell
Andrew M. Cheadle, A. J. Field, Simon Marlow, Simo...
ICFP
2000
ACM
13 years 9 months ago
Static enforcement of security with types
A number of security systems for programming languages have recently appeared, including systems for enforcing some form of ac
Christian Skalka, Scott F. Smith