Sciweavers

375 search results - page 3 / 75
» Fast type reconstruction for dynamically typed programming l...
Sort
View
ICFP
2002
ACM
14 years 5 months ago
Typing dynamic typing
Even when programming in a statically typed language we every now and then encounter statically untypable values; such values result from interpreting values or from communicating...
Arthur I. Baars, S. Doaitse Swierstra