wikidata.org
ACM SIGPLAN International Conference on Functional Programming
container_ug3n3jfg4jdcpdvbrhe3m4txqa
Homepage URLs
http://www.cs.luc.edu/icfp/ |
Example Publications
Practical dependent type checking using twin types
Víctor López Juan, Nils Anders Danielsson
2020
|
ACM SIGPLAN International Conference on Functional Programming
doi:10.1145/3406089.3409030 dblp:conf/icfp/JuanD20
Type dispatch for named hierarchical types
Neal Glew
1999
|
ACM SIGPLAN International Conference on Functional Programming
doi:10.1145/317636.317797 dblp:conf/icfp/Glew99
Call-pattern specialisation for haskell programs
Simon Peyton Jones
2007
|
ACM SIGPLAN International Conference on Functional Programming
doi:10.1145/1291151.1291200 dblp:conf/icfp/Jones07
Functional programs that explain their work
Roly Perera, Umut A. Acar, James Cheney, Paul Blain Levy
2012
|
ACM SIGPLAN International Conference on Functional Programming
doi:10.1145/2364527.2364579 dblp:conf/icfp/PereraACL12
A sound and complete axiomatization of delimited continuations
Yukiyoshi Kameyama, Masahito Hasegawa
2003
|
ACM SIGPLAN International Conference on Functional Programming
doi:10.1145/944705.944722 dblp:conf/icfp/KameyamaH03