Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID22. 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
a service of 
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.
last updated on 2024-04-19 20:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
