Quantcast
Channel: Sebastian Fischer
Browsing latest articles
Browse All 10 View Live

Barefaced pilferage of monadic bind

I had an insightful discussion on haskell-cafe on how to steal the implementation of monadic bind from a continuation monad transformer. I did it twice, first re-inventing the two-continuation model...

View Article



Purely Functional Lazy Non-deterministic Programming

This is joint work with Oleg Kiselyov and Chung-chieh Shan accepted for ICFP’09. Functional logic programming and probabilistic programming have demonstrated the broad benefits of combining laziness...

View Article

Explicit sharing of monadic effects

The paper on Purely Functional Lazy Non-deterministic Programming describes an approach to model lazy functional logic programming in Haskell via explicit sharing of monadic effects. The corresponding...

View Article

Reinventing Haskell Backtracking

I have revised my submission to ATPS’09 — a german workshop on programming. The most important changes are: a simplified implementation of iterative deepening depth-first search and an additional...

View Article

FP Overview

I have finished a first draft of a brief overview on functional programming featuring type polymorphism, higher-order functions, lazy evaluation, class-based overloading, and equational reasoning....

View Article


Declarative Programming Overview

I have finished a first draft of an overview on declarative programming. The section on functional programming is almost identical to the version published previously but I have added a section on...

View Article

Thesis submitted

I have submitted my dissertation On Functional Logic Programming and its Application to Testing.

View Article

Thesis defended

Last week, I have successfully defended my thesis by giving a talk, answering questions during a disputation, and passing an examination. If you understand German, you may try to read my handwritten...

View Article


A Play on Regular Expressions (Functional Pearl)

This is joint work with Frank Huch and Thomas Wilke accepted for ICFP’10 [paper,slides].

View Article


I left Kiel

I left the University of Kiel and moved to the National Institute of Informatics, Tokyo. My new website with an updated list of publications is available there or here.

View Article
Browsing latest articles
Browse All 10 View Live




Latest Images