Jan Christiansen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
6
Active years
2004–2023
Best venue rank
C
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | PADL | Embedding Functional Logic Programming in Haskell via a Compiler Plugin. | Kai-Oliver Prott, Finn Teegen, Jan Christiansen |
| 2019 | HASKELL | Verifying effectful Haskell programs in Coq. | Jan Christiansen, Sandra Dylus, Niels Bunkenburg |
| 2018 | PADL | Probabilistic Functional Logic Programming. | Sandra Dylus, Jan Christiansen, Finn Teegen |
| 2016 | ICFP | All sorts of permutations (functional pearl). | Jan Christiansen, Nikita Danilenko, Sandra Dylus |
| 2013 | PPDP | A semantics for weakly encapsulated search in functional logic programs. | Jan Christiansen, Michael Hanus, Fabian Reck, Daniel Seidel |
| 2011 | PADL | Sloth - A Tool for Checking Minimal-Strictness. | Jan Christiansen |
| 2011 | PPDP | Minimally strict polymorphic functions. | Jan Christiansen, Daniel Seidel |
| 2008 | FLOPS | EasyCheck - Test Data for Free. | Jan Christiansen, Sebastian Fischer |
| 2007 | LOPSTR | Denotation by Transformation. | Bernd Brael, Jan Christiansen |
| 2004 | ICFP | Searching for deadlocks while debugging concurrent haskell programs. | Jan Christiansen, Frank Huch |