default search action

combined dblp search
author search
venue search
publication search

ask others

19. IFL 2007: Freiburg, Germany

> 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/2007
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/2007
Olaf Chitil, Zoltán Horváth, Viktória Zsók:
Implementation and Application of Functional Languages, 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers. Lecture Notes in Computer Science 5083, Springer 2008, ISBN 978-3-540-85372-5
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/MazanekM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/MazanekM07
Steffen Mazanek, Mark Minas:
Graph Parser Combinators. 1-18
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/LiT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/LiT07
Huiqing Li, Simon J. Thompson:
Testing Erlang Refactorings with QuickCheck. 19-36
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/MorazanS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/MorazanS07
Marco T. Morazán, Ulrik Pagh Schultz:
Optimal Lambda Lifting in Quadratic Time. 37-56
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/DijkstraFS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/DijkstraFS07
Atze Dijkstra, Jeroen Fokker, S. Doaitse Swierstra:
The Structure of the Essential Haskell Compiler, or Coping with Compiler Complexity. 57-74
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/SulzmannL07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/SulzmannL07
Martin Sulzmann, Kenny Zhuo Ming Lu:
XHaskell - Adding Regular Expression Types to Haskell. 75-92
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/Wallace07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/Wallace07
Malcolm Wallace:
Partial Parsing: Combining Choice with Commitment. 93-110
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/FindlerGR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/FindlerGR07
Robert Bruce Findler, Shu-yu Guo, Anne Rogers:
Lazy Contract Checking for Immutable Data Structures. 111-128
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/NaylorR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/NaylorR07
Matthew Naylor, Colin Runciman:
The Reduceron: Widening the von Neumann Bottleneck for Graph Reduction Using an FPGA. 129-146
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/MitchellR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/MitchellR07
Neil Mitchell, Colin Runciman:
A Supercompiler for Core Haskell. 147-164
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/Kleeblatt07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/Kleeblatt07
Dirk Kleeblatt:
Checking Dependent Types Using Compiled Code. 165-182
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/BrasselS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/BrasselS07
Bernd Braßel, Holger Siegel:
Debugging Lazy Functional Programs by Asking the Oracle. 183-200
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/VriesPA07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/VriesPA07
Edsko de Vries, Rinus Plasmeijer, David M. Abrahamson:
Uniqueness Typing Simplified. 201-218
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/WidemannP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/WidemannP07
Baltasar Trancón y Widemann, David Lorge Parnas:
Tabular Expressions and Total Functional Programming. 219-236
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/Feeley07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/Feeley07
Marc Feeley:
Speculative Inlining of Predefined Procedures in an R5RS Scheme to C Compiler. 237-253
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/HerhutSBGT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/HerhutSBGT07
Stephan Herhut, Sven-Bodo Scholz, Robert Bernecky, Clemens Grelck, Kai Trojahner:
From Contracts Towards Dependent Types: Proofs by Partial Evaluation. 254-273

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.