Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Martin Gasbichler"'
Autor:
Martin Gasbichler, Michael Sperber
Publikováno v:
Higher-Order and Symbolic Computation. 18:327-354
Scsh, the Scheme shell, enables concurrent system programming with portable user-level threads. In scsh, threads behave like processes in many ways: each thread receives its own set of process resources; like Unix processes, new threads can inherit r
Autor:
Herbert Klaeren, Marcus Crestani, Stefan Wehr, Eric Knauel, Annette Bieniusa, Phillip Heidegger, Peter Thiemann, Markus Degen, Martin Gasbichler, Michael Sperber
Publikováno v:
FDPE@ICFP
Teaching the introductory course on programming is hard, even with well-proven didactic methods and material. This is a report on the first-year programming course taught at Tubingen and Freiburg universities. The course builds on the well-developed
Autor:
Martin Gasbichler, Michael Sperber
Publikováno v:
ICFP
We present a direct implementation of the shift and reset control operators in the SFE system. The new implementation improves upon the traditional technique of simulating shift and reset via callcc. Typical applications of these operators exhibit sp
Publikováno v:
POPL
Functional logic overloading is a novel approach to user-defined overloading that extends Haskell's concept of type classes in significant ways. Whereas type classes are conceptually predicates on types in standard Haskell, they are type functions in