3047 search results - page 281 / 610 » On the Meaning of Logical Completeness |
191
click to vote
PEPM
2007
ACM
16 years 1 months ago
2007
ACM
Having been convinced of the potential benefits of partial evaluation, we wanted to conduct some experiments in our favourite Computer Algebra System, Maple. Maple is a large lan...
223
click to vote
PADO
2001
Springer
16 years 1 days ago
2001
Springer
This paper describes a run-time specialization system for the Java language. One of the main difficulties of supporting the full Java language resides in a sound yet effective ma...
200
click to vote
ICFP
2000
ACM
15 years 12 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 ...
179
click to vote
ICFP
2010
ACM
15 years 8 months ago
2010
ACM
We present a type and effect system for flow analysis that makes essential use of higher-ranked polymorphism. We show that, for higher-order functions, the expressiveness of highe...
202
click to vote
EUSFLAT
2009
15 years 5 months ago
2009
Abstract-- A portfolio model to minimize the risk of falling under uncertainty is discussed. The risk of falling is represented by the value-at-risk of rate of return. Introducing ...