default search action

combined dblp search
author search
venue search
publication search

ask others

22. IFL 2010: Alphen aan den Rijn, The Netherlands

> Home > Conferences and Workshops > IFL

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/ifl/2010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/2010
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
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/GiorgidzeGSW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/GiorgidzeGSW10
George Giorgidze, Torsten Grust, Tom Schreiber, Jeroen Weijers:
Haskell Boards the Ferry - Database-Supported Program Execution for Haskell. 1-18
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/HinzeHJ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/HinzeHJ10
Ralf Hinze, Thomas Harper, Daniel W. H. James:
Theory and Practice of Fusion. 19-37
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/Berthold10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/Berthold10
Jost Berthold:
Orthogonal Serialisation for Haskell. 38-53
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/BoeijinkHK10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/BoeijinkHK10
Arjan Boeijink, Philip K. F. Hölzenspies, Jan Kuper:
Introducing the PilGRIM: A Processor for Executing Lazy Functional Languages. 54-71
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/SieczkowskiBB10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/SieczkowskiBB10
Filip Sieczkowski, Malgorzata Biernacka, Dariusz Biernacki:
Automating Derivations of Abstract Machines from Reduction Semantics: - A Generic Formalization of Refocusing in Coq. 72-88
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/TorontoM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/TorontoM10
Neil Toronto, Jay McCarthy:
From Bayesian Notation to Pure Racket via Discrete Measure-Theoretic Probability in λ ZFC. 89-104
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/MiddelkoopDS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/MiddelkoopDS10
Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra:
Dependently Typed Attribute Grammars. 105-120
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/AxelssonCSSEP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/AxelssonCSSEP10
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
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/PitidisS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/PitidisS10
Mihalis Pitidis, Konstantinos Sagonas:
Purity in Erlang. 137-152
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/MichelsPA10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/MichelsPA10
Steffen Michels, Rinus Plasmeijer, Peter Achten:
iTask as a New Paradigm for Building GUI Applications. 153-168
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/BrownLBH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/BrownLBH10
Christopher Brown, Hans-Wolfgang Loidl, Jost Berthold, Kevin Hammond:
Improving Your CASH Flow: The Computer Algebra SHell. 169-184
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/HerhutJSPG10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/HerhutJSPG10
Stephan Herhut, Carl Joslin, Sven-Bodo Scholz, Raphael Poss, Clemens Grelck:
Concurrent Non-deferred Reference Counting on the Microgrid: First Experiences. 185-202
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/BjornsonTG10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/BjornsonTG10
Joel Bjornson, Anton Tayanovskyy, Adam Granicz:
Composing Reactive GUIs in F# Using WebSharper. 203-216

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.