10622 search results - page 430 / 2125 » Python Programming Language |
108
click to vote
PLDI
1990
ACM
15 years 9 months ago
1990
ACM
Converting decimal scientific notation into binary floating point is nontrivial, but this conversion can be performed with the best possible accuracy without sacrificing efficienc...
158
click to vote
POPL
1990
ACM
15 years 9 months ago
1990
ACM
ical Abstract Machine Introduced in and G. Boudol. The chemical abstract machine. Theoretical Computer Science, 96(1):217
129
click to vote
POS
1990
Springer
15 years 9 months ago
1990
Springer
nce and Type Abstraction Revisited Atsushi Ohori Ivan Tabkha Richard Connor
146
click to vote
APLAS
2007
ACM
15 years 9 months ago
2007
ACM
Abstract. We propose an extension of the Applied Pi
135
click to vote
APLAS
2007
ACM
15 years 9 months ago
2007
ACM
Abstract. This paper provides a call-by-name and a call-by-value calculus, both of which have a Curry-Howard correspondence to the minimal normal logic K. The calculi are extension...