Filters








6 Hits in 3.5 sec

Functional pearl: a smart view on datatypes

Mauro Jaskelioff, Exequiel Rivas
2015 Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming - ICFP 2015  
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

Kazutaka Matsuda, Meng Wang
2015 Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming - ICFP 2015  
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

Cameron Swords, Amr Sabry, Sam Tobin-Hochstadt
2015 Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming - ICFP 2015  
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

Georgios Karachalias, Tom Schrijvers, Dimitrios Vytiniotis, Simon Peyton Jones
2015 Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming - ICFP 2015  
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]

András Kovács
2021 arXiv   pre-print
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]

Raven Beutner, Luke Ong
2021 pre-print
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