Jan Christiansen

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Implementing a library for probabilistic programming using non-strict non-determinism Theory and Practice of Logic Programming	2020-05-04	Paper
All sorts of permutations (functional pearl) Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming	2017-05-10	Paper
Searching for deadlocks while debugging Concurrent Haskell programs Proceedings of the ninth ACM SIGPLAN international conference on Functional programming	2015-03-09	Paper
An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry Functional and Constraint Logic Programming	2011-05-27	Paper
Denotation by Transformation Logic-Based Program Synthesis and Transformation	2009-01-22	Paper
A Relation Algebraic Semantics for a Lazy Functional Logic Language Relations and Kleene Algebra in Computer Science	2008-05-15	Paper
Algorithms supplement The Computer Journal	1973-01-01	Paper
Numerical solution of ordinary simultaneous differential equations of the 1st order using a method for automatic step change Numerische Mathematik	1970-01-01	Paper

Research outcomes over time

This page was built for person: Jan Christiansen