A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Filters
A Lightweight Hat
2016
Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages - IFL 2016
Preserved Fulltext
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
2016
Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages - IFL 2016
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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