Person:851194

Available identifiers

zbMath Open shan.chung-chiehMaRDI QIDQ851194

List of research outcomes

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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Chung-Chieh Shan