ICFP
2000
ACM
13 years 8 months ago
2000
ACM
Compilers for polymorphic languages can use runtime type inspection to support advanced implementation techniques such as tagless garbage collection, polymorphic marshalling, and ...
ICFP
2000
ACM
13 years 8 months ago
2000
ACM
ICFP
2000
ACM
13 years 9 months ago
2000
ACM
ICFP
2000
ACM
13 years 9 months ago
2000
ACM
A number of security systems for programming languages have recently appeared, including systems for enforcing some form of ac
ICFP
2000
ACM
13 years 9 months ago
2000
ACM
ICFP
2000
ACM
13 years 9 months ago
2000
ACM
ÁÒ Ø × Ô Ô Ö Û ÔÖÓÔÓ× Ò Û Ñ Ø Ó ÓÖ Ö Ú Ò ÔÖ Ø ¹ Ð Ð Ò Ö¹Ø Ñ Ð ÓÖ Ø Ñ ÖÓÑ Ø ×Ô ¬ Ø ÓÒ Ó Ñ Ü ÑÙÑ¹Û Ø×ÙÑ ÔÖÓ Ð Ñ Ö...
ICFP
2000
ACM
13 years 9 months ago
2000
ACM
ICFP
2000
ACM
13 years 9 months ago
2000
ACM
This paper describes FC++: a rich library supporting functional programming in C++. Prior approaches to encoding higher order functions in C++ have suffered with respect to polymo...
ICFP
2000
ACM
13 years 9 months ago
2000
ACM
ICFP
2000
ACM
13 years 9 months ago
2000
ACM
We show that standard formulations of intersection type systems are unsound in the presence of computational effects, and propose a solution similar to the value restriction for ...