A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
Filters
Functional pearl: a smart view on datatypes
2015
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming - ICFP 2015
Preserved Fulltext
ICFP '15, September 01 -03, 2015, Vancouver, BC, Canada. Copyright is held by the owner/author(s). Publication rights licensed to ACM. ...
doi:10.1145/2784731.2784743
dblp:conf/icfp/JaskelioffR15
fatcat:hpgbej3wc5ciporvk26fk5wsbu
Applicative bidirectional programming with lenses
2015
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming - ICFP 2015
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 2018; you can also visit the original URL.
The file type is application/pdf.
ICFP'15, August 31 -September 2, 2015, Vancouver, BC, Canada. ...
Copyright c 2015 ACM 978-1-4503-3669-7/15/08. . . $15.00. http://dx.doi.org/10.1145/ of the underlying data
unlines :: [String ] → String unlines [ ] = "" unlines (x : xs) = x + + "\n" + + unlines xs ...
doi:10.1145/2784731.2784750
dblp:conf/icfp/MatsudaW15
fatcat:btqhjgbil5f7vfifb76ccxmh5i
Expressing contract monitors as patterns of communication
2015
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming - ICFP 2015
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 2017; you can also visit the original URL.
The file type is application/pdf.
We thank the anonymous reviewers of ICFP 2015 for their detailed reviews, which helped to improve the presentation and technical content of the paper. ...
ICFP'15, August 31 -September 2, 2015, Vancouver, BC, Canada. ...
Copyright © 2015 ACM 978-1-4503-3669-7/15/08. . . $15.00. http://dx.doi.org/10.1145/0.0 tions
ICFP' 15 , 15 August 31 -September 2, 2015, Vancouver, BC, Canada ACM. 978-1-4503-3669-7/15/08... http:// ...
doi:10.1145/2784731.2784742
dblp:conf/icfp/SwordsST15
fatcat:qbt346ttvzh63hd4eqdxhdt3ni
GADTs meet their match: pattern-matching warnings that account for GADTs, guards, and laziness
2015
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming - ICFP 2015
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.
We would also like to thank Nikolaos Papaspyrou for his contribution in the early stages of this work; and Gabor Greif, Conor McBride, and the ICFP referees for their helpful feedback. ...
, BC, Canada. ...
For example: dsG (let (x,y) = e) = (x <-((\(x,y) -> x) e)) (y <-((\(x,y) -> y) e)) a:as) (b:bs) = (a,b) : zip as bs No, it is not: the call (zip [] [True]
ICFP'15, August 31 -September 2, 2015, Vancouver ...
doi:10.1145/2784731.2784748
dblp:conf/icfp/KarachaliasSVJ15
fatcat:wfegjb7ibjg4bdu34dumfkemkm
Generalized Universe Hierarchies and First-Class Universe Levels
[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.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2021 pre-print arXiv:2103.00223v3 fatcat:5d3ihuf52jbtfmlb5z4hnhzxaqOther Versions
Reppy, editors, Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, ICFP 2015, Vancouver, BC, Canada, September 1-3, 2015, pages 179-191. ...
ACM, 2015. doi:10.1145/2784731.2784751.
In a proof assistant, often we would still have to explicitly transport along the strict inclusion equations. ...
arXiv:2103.00223v4
fatcat:dpq6we7amjap3jimt4tyxmhrv4
On Probabilistic Termination of Functional Programs with Continuous Distributions
[article]
2021
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.
In 34th Annual ACM/IEEE Symposium on Logic in Computer
Science, LICS 2019, Vancouver, BC, Canada, June 24-27, 2019. IEEE, 1-
14. h ps://doi.org/10.1109/LICS.2019.8785679
[34] Dexter Kozen. 1981. ...
In Mathematical Foun-
dations of Computer Science 2015 -40th International Symposium,
MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I
(Lecture Notes in Computer Science, Vol. 9234). ...
doi:10.1145/3453483.3454111
arXiv:2104.04990v1
fatcat:g7jwfkwptjcxvijk25q2xvooza