Filters








4 Hits in 3.6 sec

A Lightweight Hat

Olaf Chitil, Maarten Faddegon, Colin Runciman
2016 Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages - IFL 2016  
Software and its engineering → Functionality; KEYWORDS omniscient debugger, Haskell, Hat, augmented redex trail, lazy evaluation ACM Reference format: Olaf Chitil, Maarten Faddegon, and Colin Runciman. 2016  ...  IFL 2016 ,Figure 1 : 20161 Leuven, Belgium © 2016 Copyright held by the owner/author(s). Publication rights licensed to ACM. This is the author's version of the work.  ...  The most simple extension to handle many concurrent threads would assume to A Lightweight Hat IFL 2016, August 31-September 2, 2016, Leuven, Belgium have at runtime access to an identi er of the current  ... 
doi:10.1145/3064899.3064904 dblp:conf/ifl/ChitilFR16 fatcat:ij23vnjymngzbayn2vs22buyom

Eliom

Gabriel Radanne, Vasilis Papavasileiou, Jérôme Vouillon, Vincent Balat
2016 Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages - IFL 2016  
IFL 2016, Leuven, Belgium © 2016 Copyright held by the owner/author(s).  ...  The core E language extension has been formalized in Radanne et al. (2016) .  ... 
doi:10.1145/3064899.3064901 dblp:conf/ifl/RadannePVB16 fatcat:3zpjv4x6y5axpbx73uyxbnwovu

Control-Data Separation and Logical Condition Propagation for Efficient Inference on Probabilistic Programs [article]

Ichiro Hasuo, Yuichiro Oyabu, Clovis Eberhart, Kohei Suenaga, Kenta Cho, Shin-ya Katsumata
2021 arXiv   pre-print
ACM, 2016. ISBN 978-1- 4503-4391-6. doi: 10.1145/2933575.2935313. URL http://doi.acm.org/10.1145/2933575.2935313. Leuven, Belgium, August 31 -September 2, 2016, pages 6:1-6:12. ACM, 2016.  ...  In Tom Schrijvers, editor, Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages, IFL 2016, URL https://doi.org/10.1145/3064899.3064910. R.S.  ... 
arXiv:2101.01502v2 fatcat:wvbwb2xqjbhxvikewmx4sppv5a

Learning Proposals for Probabilistic Programs with Inference Combinators [article]

Sam Stites, Heiko Zimmermann, Hao Wu, Eli Sennesh, Jan-Willem van de Meent
2021 arXiv   pre-print
Proceedings of the 28th Symposium on the Implementation and Applica- tion of Functional Programming Languages. IFL 2016. Leuven, Belgium: ACM, 2016, 6:1-6:12. ISBN: 978-1- 4503-4767-9.  ...  ) , including recent work that combines probabilistic programming and deep learning (Tran et al., 2016; Ritchie et al., 2016; Siddharth et al., 2017; .  ... 
arXiv:2103.00668v3 fatcat:wc5yn2njabbzpeayykqk55cymu