Chung-Chieh Shan

Available identifiers

Publication	Date of Publication	Type
From high-level inference algorithms to efficient code	2018-05-16	Paper
Exact Bayesian inference by symbolic disintegration	2017-10-20	Paper
Deriving a probability density calculator (functional pearl)	2017-05-10	Paper
Probabilistic Inference by Program Transformation in Hakaru (System Description)	2016-04-04	Paper
Delimited dynamic binding	2015-08-03	Paper
Backtracking, interleaving, and terminating monad transformers	2015-01-06	Paper
Purely functional lazy non-deterministic programming	2015-01-06	Paper
Lightweight Static Capabilities	2013-12-13	Paper
Purely functional lazy nondeterministic programming	2013-04-24	Paper
Functional un\(\|\)unparsing	2013-01-08	Paper
Shifting the stage	2012-09-21	Paper
Fun with Type Functions	2010-10-26	Paper
On the dynamic extent of delimited continuations	2009-12-18	Paper
Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages	2009-11-13	Paper
Types as graphs: Continuations in type logical grammar	2009-03-24	Paper
A Substructural Type System for Delimited Continuations	2009-03-10	Paper
Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl)	2008-04-11	Paper
A static simulation of dynamic delimited control	2007-12-17	Paper
A modal interpretation of the logic of interrogation	2006-11-17	Paper
On the static and dynamic extents of delimited continuations	2006-06-30	Paper
https://portal.mardi4nfdi.de/entity/Q4412864	2003-07-17	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Chung-Chieh Shan