Jan Christiansen

Available identifiers

zbMath Open christiansen.janMaRDI QIDQ2535117

List of research outcomes

Publication	Date of Publication	Type
Implementing a library for probabilistic programming using non-strict non-determinism	2020-05-04	Paper
All sorts of permutations (functional pearl)	2017-05-10	Paper
Searching for deadlocks while debugging Concurrent Haskell programs	2015-03-09	Paper
An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry	2011-05-27	Paper
Denotation by Transformation	2009-01-22	Paper
A Relation Algebraic Semantics for a Lazy Functional Logic Language	2008-05-15	Paper
Algorithms supplement	1973-01-01	Paper
Numerical solution of ordinary simultaneous differential equations of the 1st order using a method for automatic step change	1970-01-01	Paper

Research outcomes over time

This page was built for person: Jan Christiansen