default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID19. IFL 2007: Freiburg, Germany
- 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 - Steffen Mazanek, Mark Minas:
Graph Parser Combinators. 1-18 - Huiqing Li, Simon J. Thompson:
Testing Erlang Refactorings with QuickCheck. 19-36 - Marco T. Morazán, Ulrik Pagh Schultz:
Optimal Lambda Lifting in Quadratic Time. 37-56 - Atze Dijkstra, Jeroen Fokker, S. Doaitse Swierstra:
The Structure of the Essential Haskell Compiler, or Coping with Compiler Complexity. 57-74 - Martin Sulzmann, Kenny Zhuo Ming Lu:
XHaskell - Adding Regular Expression Types to Haskell. 75-92 - Malcolm Wallace:
Partial Parsing: Combining Choice with Commitment. 93-110 - Robert Bruce Findler, Shu-yu Guo, Anne Rogers:
Lazy Contract Checking for Immutable Data Structures. 111-128 - Matthew Naylor, Colin Runciman:
The Reduceron: Widening the von Neumann Bottleneck for Graph Reduction Using an FPGA. 129-146 - Neil Mitchell, Colin Runciman:
A Supercompiler for Core Haskell. 147-164 - Dirk Kleeblatt:
Checking Dependent Types Using Compiled Code. 165-182 - Bernd Braßel, Holger Siegel:
Debugging Lazy Functional Programs by Asking the Oracle. 183-200 - Edsko de Vries, Rinus Plasmeijer, David M. Abrahamson:
Uniqueness Typing Simplified. 201-218 - Baltasar Trancón y Widemann, David Lorge Parnas:
Tabular Expressions and Total Functional Programming. 219-236 - Marc Feeley:
Speculative Inlining of Predefined Procedures in an R5RS Scheme to C Compiler. 237-253 - 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.
last updated on 2025-02-21 19:41 CET 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:
