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
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
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
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
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
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
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  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