86 search results - page 13 / 18 » Constructive Data Refinement in Typed Lambda Calculus |
149
Voted
ICFP
2007
ACM
16 years 3 months ago
2007
ACM
There has been much work in recent years on extending ML with recursive modules. One of the most difficult problems in the development of such an extension is the double vision pr...
130
Voted
ICPADS
1996
IEEE
15 years 8 months ago
1996
IEEE
A new multiagent programmingparadigm based on the transactional logic model' is developed. This paradigm enables us to construct a Distributed agent transactional program (DA...
147
click to vote
JUCS
2006
15 years 3 months ago
2006
: Our aim is to discuss what, when and, how deep logic should be taught in the computer science education in connection with the so called "Bologna process". We survey th...
108
click to vote
FOCS
1992
IEEE
15 years 7 months ago
1992
IEEE
Partial types for the -calculus were introduced by Thatte in 1988 [3] as a means of typing objects that are not typable with simple types, such as heterogeneous lists and persiste...
167
Voted
SIAMSC
2011
14 years 6 months ago
2011
Abstract. Adaptive multiscale methods are among the many effective techniques for the numerical solution of partial differential equations. Efficient grid management is an import...