![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
22. IFL 2010: Alphen aan den Rijn, The Netherlands
- Jurriaan Hage, Marco T. Morazán:
Implementation and Application of Functional Languages - 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers. Lecture Notes in Computer Science 6647, Springer 2011, ISBN 978-3-642-24275-5 - George Giorgidze, Torsten Grust, Tom Schreiber, Jeroen Weijers:
Haskell Boards the Ferry - Database-Supported Program Execution for Haskell. 1-18 - Ralf Hinze, Thomas Harper, Daniel W. H. James:
Theory and Practice of Fusion. 19-37 - Jost Berthold:
Orthogonal Serialisation for Haskell. 38-53 - Arjan Boeijink, Philip K. F. Hölzenspies, Jan Kuper:
Introducing the PilGRIM: A Processor for Executing Lazy Functional Languages. 54-71 - Filip Sieczkowski
, Malgorzata Biernacka
, Dariusz Biernacki:
Automating Derivations of Abstract Machines from Reduction Semantics: - A Generic Formalization of Refocusing in Coq. 72-88 - Neil Toronto, Jay McCarthy:
From Bayesian Notation to Pure Racket via Discrete Measure-Theoretic Probability in λ ZFC. 89-104 - Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra:
Dependently Typed Attribute Grammars. 105-120 - Emil Axelsson, Koen Claessen, Mary Sheeran, Josef Svenningsson, David Engdal, Anders Persson:
The Design and Implementation of Feldspar - An Embedded Language for Digital Signal Processing. 121-136 - Mihalis Pitidis, Konstantinos Sagonas
:
Purity in Erlang. 137-152 - Steffen Michels, Rinus Plasmeijer, Peter Achten:
iTask as a New Paradigm for Building GUI Applications. 153-168 - Christopher Brown, Hans-Wolfgang Loidl, Jost Berthold, Kevin Hammond
:
Improving Your CASH Flow: The Computer Algebra SHell. 169-184 - Stephan Herhut, Carl Joslin, Sven-Bodo Scholz
, Raphael Poss
, Clemens Grelck:
Concurrent Non-deferred Reference Counting on the Microgrid: First Experiences. 185-202 - Joel Bjornson, Anton Tayanovskyy, Adam Granicz:
Composing Reactive GUIs in F# Using WebSharper. 203-216
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.