Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages
CARETTE, JACQUES, KISELYOV, OLEG, SHAN, CHUNG-CHIEH
Published in Journal of functional programming (01.09.2009)
Published in Journal of functional programming (01.09.2009)
Get full text
Journal Article
Combinators for impure yet hygienic code generation
Kameyama, Yukiyoshi, Kiselyov, Oleg, Shan, Chung-chieh
Published in Science of computer programming (15.11.2015)
Published in Science of computer programming (15.11.2015)
Get full text
Journal Article
Purely functional lazy nondeterministic programming
FISCHER, SEBASTIAN, KISELYOV, OLEG, SHAN, CHUNG-CHIEH
Published in Journal of functional programming (01.09.2011)
Published in Journal of functional programming (01.09.2011)
Get full text
Journal Article
Exact Recursive Probabilistic Programming
Chiang, David, McDonald, Colin, Shan, Chung-chieh
Published in Proceedings of ACM on programming languages (06.04.2023)
Published in Proceedings of ACM on programming languages (06.04.2023)
Get full text
Journal Article
Symbolic conditioning of arrays in probabilistic programs
Narayanan, Praveen, Shan, Chung-chieh
Published in Proceedings of ACM on programming languages (01.09.2017)
Published in Proceedings of ACM on programming languages (01.09.2017)
Get full text
Journal Article
From high-level inference algorithms to efficient code
Walia, Rajan, Narayanan, Praveen, Carette, Jacques, Tobin-Hochstadt, Sam, Shan, Chung-chieh
Published in Proceedings of ACM on programming languages (01.08.2019)
Published in Proceedings of ACM on programming languages (01.08.2019)
Get full text
Journal Article
On the dynamic extent of delimited continuations
Biernacki, Dariusz, Danvy, Olivier, Shan, Chung-chieh
Published in Information processing letters (16.10.2005)
Published in Information processing letters (16.10.2005)
Get full text
Journal Article
Shifting the stage
KAMEYAMA, YUKIYOSHI, KISELYOV, OLEG, SHAN, CHUNG-CHIEH
Published in Journal of functional programming (01.11.2011)
Published in Journal of functional programming (01.11.2011)
Get full text
Journal Article
An analysis of the mozilla jetpack extension framework
Karim, Rezwana, Dhawan, Mohan, Ganapathy, Vinod, Shan, Chung-chieh
Published in ECOOP 2012 – Object-Oriented Programming (11.06.2012)
Published in ECOOP 2012 – Object-Oriented Programming (11.06.2012)
Get full text
Conference Proceeding
Book Chapter
Enhancing javascript with transactions
Dhawan, Mohan, Shan, Chung-chieh, Ganapathy, Vinod
Published in ECOOP 2012 – Object-Oriented Programming (11.06.2012)
Published in ECOOP 2012 – Object-Oriented Programming (11.06.2012)
Get full text
Conference Proceeding
Book Chapter
Types as Graphs: Continuations in Type Logical Grammar
Barker, Chris, Shan, Chung-Chieh
Published in Journal of logic, language, and information (01.11.2006)
Published in Journal of logic, language, and information (01.11.2006)
Get full text
Journal Article
Functional un|unparsing
Asai, Kenichi, Kiselyov, Oleg, Shan, Chung-chieh
Published in Higher-Order and Symbolic Computation (01.11.2011)
Published in Higher-Order and Symbolic Computation (01.11.2011)
Get full text
Journal Article
On the static and dynamic extents of delimited continuations
Biernacki, Dariusz, Danvy, Olivier, Shan, Chung-chieh
Published in Science of computer programming (01.05.2006)
Published in Science of computer programming (01.05.2006)
Get full text
Journal Article