Sciweavers

1251 search results - page 251 / 251
» Optimizing Compilation of CLP(R)
Sort
View
PADL
2012
Springer
12 years 1 months ago
Typing the Numeric Tower
In the past, the creators of numerical programs had to choose between simple expression of mathematical formulas and static type checking. While the Lisp family and its dynamically...
Vincent St-Amour, Sam Tobin-Hochstadt, Matthew Fla...