Auflistung nach Autor:in "Fischer, Sebastian"
1 - 3 von 3
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragReinventing haskell backtracking(Informatik 2009 – Im Focus das Leben, 2009) Fischer, SebastianAlmost ten years ago, Ralf Hinze has written a functional pearl on how to derive backtracking functionality for the purely functional programming language Haskell. In these notes, we show how to arrive at the efficient, two-continuation based backtracking monad derived by Hinze starting from an intuitive inefficient implementation that we subsequently refine using well known program transformations. It turns out that the technique can be used to build monads for non-determinism from modular, independent parts which gives rise to various new implementations. Specifically, we show how the presented approach can be applied to obtain new im- plementations of breadth-first search and iterative deepening depth-first search.
- ZeitschriftenartikelResource-Based Web Applications - Extended Abstract(Softwaretechnik-Trends Band 26, Heft 2, 2006) Fischer, SebastianWe present an approach to write web applications in the programming languages Haskell and Curry. The web applications we propose are directly based on the Hypertext Transfer Protocol (HTTP) – no additional protocol on top of HTTP is necessary. Although the main ideas are not new and already applied using other programming languages, we believe that features present in modern declarative languages – especially algebraic datatypes – serve well to represent resources on the web.
- KonferenzbeitragTowards a parallel search for solutions of non-deterministic computations(Informatik 2009 – Im Focus das Leben, 2009) Reck, Fabian; Fischer, Sebastian