Found 9 Documents (Results 1–9)
Exact Bayesian inference by symbolic disintegration. (English) Zbl 1380.68106
Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 130-144 (2017).
Functional un\(|\)unparsing. (English) Zbl 1256.68029
Monads in action. (English) Zbl 1312.68038
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’10, Madrid, Spain, January 17–23, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-479-9). 483-494 (2010).
Lazy evaluation and delimited control. (English) Zbl 1315.68049
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’09, Savannah, GA, USA, January 18–24, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-379-2). 153-164 (2009).
MSC:
68N18
Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform. (English) Zbl 1302.68187
Proceedings of the 14th ACM SIGPLAN international conference on functional programming, ICFP ’09, Edinburgh, UK, August 31 – September 2, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-332-7). ACM SIGPLAN Notices 44, No. 9, 317-328 (2009).
A static simulation of dynamic delimited control. (English) Zbl 1128.68010
MSC:
68N01
Filter Results by …
Document Type
- Journal Articles (5)
- Collection Articles (4)
all
top 5
Author
- Shan, Chung-chieh (3)
- Kiselyov, Oleg (2)
- Asai, Kenichi (1)
- Brachthäuser, Jonathan Immanuel (1)
- Filinski, Andrzej (1)
- Garcia, Ronald (1)
- Kammar, Ohad (1)
- Lumsdaine, Andrew (1)
- Maier, Ingo (1)
- Odersky, Martin (1)
- Ostermann, Klaus (1)
- Pretnar, Matija (1)
- Ramsey, Norman (1)
- Rompf, Tiark (1)
- Sabry, Amr (1)
- Schuster, Philipp (1)
Serial
Main Field
- 68-XX (9)