1154 search results - page 79 / 231 » Implementing Typed Intermediate Languages |
100
click to vote
IMPERIAL
1994
15 years 6 months ago
1994
The \observational content" of geometric logic is discussed and it is proposed that geometric logic is an appropriate basis for a Z-like speci cation language in which schema...
92
Voted
MPC
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. We present an algorithm for inverse computation in a rstorder functional language based on the notion of a perfect process tree. The Universal Resolving Algorithm (URA) i...
103
click to vote
DAGSTUHL
2003
15 years 3 months ago
2003
Abstract. PiLib is a library written in Scala that implements the concurrency constructs of the π-calculus. Some features of the programming language Scala, examined in the paper,...
100
click to vote
CN
2000
15 years 2 months ago
2000
The Web contains an abundance of useful semi-structured information that can and should be mined. Types of structure include hyperlinks between pages, structure within hypertext p...
208
click to vote
POPL
2002
ACM
16 years 2 months ago
2002
ACM
Functional logic overloading is a novel approach to userdefined overloading that extends Haskell's concept of type classes in significant ways. Whereas type classes are conce...