Sciweavers

15 search results - page 2 / 3
» icfp 2000
Sort
View
ICFP
2000
ACM
13 years 10 months ago
Regular expression types for XML
Haruo Hosoya, Jerome Vouillon, Benjamin C. Pierce
ICFP
2000
ACM
13 years 10 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 10 months ago
An operational semantics for parallel lazy evaluation
Ï ÔÖ × ÒØ Ò ÓÔ Ö Ø ÓÒ Ð × Ñ ÒØ × ÓÖ Ô Ö ÐÐ Ð Ð ÞÝ Ú Ð¹ Ù Ø ÓÒ Ø Ø ÙÖ Ø ÐÝ ÑÓ Ð× Ø Ô Ö ÐÐ Ð Ú ÓÙÖ Ó Ø ÒÓÒ¹×ØÖ ...
Clement A. Baker-Finch, David J. King, Philip W. T...
ICFP
2000
ACM
13 years 10 months ago
Non-stop Haskell
Andrew M. Cheadle, A. J. Field, Simon Marlow, Simo...
ICFP
2000
ACM
13 years 10 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