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

• 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 F. 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, Raphaël 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
  

Last update Fri May 25 08:22:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page