default search action

combined dblp search
author search
venue search
publication search

ask others

24. IFL 2012: Oxford, UK

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> 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/2012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/2012
Ralf Hinze:
Implementation and Application of Functional Languages - 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers. Lecture Notes in Computer Science 8241, Springer 2013, ISBN 978-3-642-41581-4
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/OrchardM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/OrchardM12
Dominic A. Orchard, Alan Mycroft:
A Notation for Comonads. 1-17
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/DieterleHBL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/DieterleHBL12
Mischa Dieterle, Thomas Horstmeyer, Jost Berthold, Rita Loogen:
Iterating Skeletons - Structured Parallelism by Composition. 18-36
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/DijkstraSVS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/DijkstraSVS12
Atze Dijkstra, Jurriën Stutterheim, Alessandro Vermeulen, S. Doaitse Swierstra:
Building JavaScript Applications with Haskell. 37-52
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/ReichNR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/ReichNR12
Jason S. Reich, Matthew Naylor, Colin Runciman:
Advances in Lazy SmallCheck. 53-70
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/Clerc12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/Clerc12
Xavier Clerc:
OCaml-Java: From OCaml Sources to Java Bytecodes. 71-85
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/SculthorpeFG12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/SculthorpeFG12
Neil Sculthorpe, Andrew Farmer, Andy Gill:
The HERMIT in the Tree - Mechanizing Program Transformations in the GHC Core Language. 86-103
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/Magalhaes12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/Magalhaes12
José Pedro Magalhães:
Optimisation of Generic Programs Through Inlining. 104-121
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/Fluet12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/Fluet12
Matthew Fluet:
A Type- and Control-Flow Analysis for System F. 122-139
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/IonescuJ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/IonescuJ12
Cezar Ionescu, Patrik Jansson:
Dependently-Typed Programming in Scientific Computing - Examples from Economic Modelling. 140-156
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/WaltS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/WaltS12
Paul van der Walt, Wouter Swierstra:
Engineering Proof by Reflection in Agda. 157-173
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/ThiemannC12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/ThiemannC12
Peter Thiemann, Manuel M. T. Chakravarty:
Agda Meets Accelerate. 174-189
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/TsushimaA12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/TsushimaA12
Kanae Tsushima, Kenichi Asai:
An Embedded Type Debugger. 190-206
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/WuMBS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/WuMBS12
Nicolas Wu, José Pedro Magalhães, Jeroen Bransen, Wouter Swierstra:
Pure and Lazy Lambda Mining - An Experience Report. 207-223
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/SeningtonD12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/SeningtonD12
Richard Senington, David Duke:
Decomposing Metaheuristic Operations. 224-239

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.