ACM SIGPLAN International Conference on Functional Programming
container_ug3n3jfg4jdcpdvbrhe3m4txqa
Showing first 25 out of 973 results
A functional model-view-controller software architecture for command-oriented programs
Alley Stoughton
2008
|
ACM SIGPLAN International Conference on Functional Programming
doi:10.1145/1411318.1411320 dblp:conf/icfp/Stoughton08
Experience report
Curt J. Sampson
2009
|
ACM SIGPLAN International Conference on Functional Programming
doi:10.1145/1596550.1596578 dblp:conf/icfp/Sampson09
Combining programming with theorem proving
Chiyan Chen, Hongwei Xi
2005
|
ACM SIGPLAN International Conference on Functional Programming
doi:10.1145/1086365.1086375 dblp:conf/icfp/ChenX05
Programming with monadic CSP-style processes in dependent type theory
Bashar Igried, Anton Setzer
2016
|
ACM SIGPLAN International Conference on Functional Programming
doi:10.1145/2976022.2976032 dblp:conf/icfp/IgriedS16
ReCaml
Jérémy Buisson, Fabien Dagnat
2010
|
ACM SIGPLAN International Conference on Functional Programming
doi:10.1145/1863543.1863550 dblp:conf/icfp/BuissonD10
Developing a stage lighting system from scratch
Michael Sperber
2001
|
ACM SIGPLAN International Conference on Functional Programming
doi:10.1145/507635.507652 dblp:conf/icfp/Sperber01
Depending on types
Stephanie Weirich
2014
|
ACM SIGPLAN International Conference on Functional Programming
doi:10.1145/2628136.2631168 dblp:conf/icfp/Weirich14
Functional translation of a calculus of capabilities
Arthur Charguéraud, François Pottier
2008
|
ACM SIGPLAN International Conference on Functional Programming
doi:10.1145/1411204.1411235 dblp:conf/icfp/ChargueraudP08
Towards systematic parallel programming of graph problems via tree decomposition and tree parallelism
Qi Wang, Meixian Chen, Yu Liu, Zhenjiang Hu
2013
|
ACM SIGPLAN International Conference on Functional Programming
doi:10.1145/2502323.2502331 dblp:conf/icfp/WangCLH13
Modular object-oriented programming with units and mixins
Robert Bruce Findler, Matthew Flatt
1998
|
ACM SIGPLAN International Conference on Functional Programming
doi:10.1145/289423.289432 dblp:conf/icfp/FindlerF98
Scripting the type inference process
Bastiaan Heeren, Jurriaan Hage, S. Doaitse Swierstra
2003
|
ACM SIGPLAN International Conference on Functional Programming
doi:10.1145/944705.944707 dblp:conf/icfp/HeerenHS03
A lambda-calculus foundation for universal probabilistic programming
Johannes Borgström, Ugo Dal Lago, Andrew D. Gordon, Marcin Szymczak
2016
|
ACM SIGPLAN International Conference on Functional Programming
doi:10.1145/2951913.2951942 dblp:conf/icfp/BorgstromLGS16
Safe zero-cost coercions for Haskell
Joachim Breitner, Richard A. Eisenberg, Simon Peyton Jones, Stephanie Weirich
2014
|
ACM SIGPLAN International Conference on Functional Programming
doi:10.1145/2628136.2628141 dblp:conf/icfp/BreitnerEJW14
Lightweight monadic programming in ML
Nikhil Swamy, Nataliya Guts, Daan Leijen, Michael Hicks
2011
|
ACM SIGPLAN International Conference on Functional Programming
doi:10.1145/2034773.2034778 dblp:conf/icfp/SwamyGLH11
Engineering software correctness
Rex Page
2005
|
ACM SIGPLAN International Conference on Functional Programming
doi:10.1145/1085114.1085123 dblp:conf/icfp/Page05
Modular and automated type-soundness verification for language extensions
Florian Lorenzen, Sebastian Erdweg
2013
|
ACM SIGPLAN International Conference on Functional Programming
doi:10.1145/2500365.2500596 dblp:conf/icfp/LorenzenE13
Composing and decomposing data types
Patrick Bahr
2014
|
ACM SIGPLAN International Conference on Functional Programming
doi:10.1145/2633628.2633635 dblp:conf/icfp/Bahr14
Polytypic properties and proofs in Coq
Wendy Verbruggen, Edsko de Vries, Arthur Hughes
2009
|
ACM SIGPLAN International Conference on Functional Programming
doi:10.1145/1596614.1596616 dblp:conf/icfp/VerbruggenVH09
From fast exponentiation to square matrices
Chris Okasaki
1999
|
ACM SIGPLAN International Conference on Functional Programming
doi:10.1145/317636.317781 dblp:conf/icfp/Okasaki99
o.OM: structured-functional communication between computer music systems using OSC and Odot
Jean Bresson, John MacCallum, Adrian Freed
2016
|
ACM SIGPLAN International Conference on Functional Programming
doi:10.1145/2975980.2975985 dblp:conf/icfp/BressonMF16
A type-theoretic foundation of continuations and prompts
Zena M. Ariola, Hugo Herbelin, Amr Sabry
2004
|
ACM SIGPLAN International Conference on Functional Programming
doi:10.1145/1016850.1016860 dblp:conf/icfp/AriolaHS04
Modular verification of preemptive OS kernels
Alexey Gotsman, Hongseok Yang
2011
|
ACM SIGPLAN International Conference on Functional Programming
doi:10.1145/2034773.2034827 dblp:conf/icfp/GotsmanY11
From ML to MLF
Didier Rémy, Boris Yakobowski
2008
|
ACM SIGPLAN International Conference on Functional Programming
doi:10.1145/1411204.1411216 dblp:conf/icfp/RemyY08
The gentle art of levitation
James Chapman, Pierre-Évariste Dagand, Conor McBride, Peter Morris
2010
|
ACM SIGPLAN International Conference on Functional Programming
doi:10.1145/1863543.1863547 dblp:conf/icfp/ChapmanDMM10
Interpretations of the gradually-typed lambda calculus
Jeremy G. Siek, Ronald Garcia
2012
|
ACM SIGPLAN International Conference on Functional Programming
doi:10.1145/2661103.2661112 dblp:conf/icfp/SiekG12
« Previous
Showing results 0 — 25 out of 973 results
Next »