default search action

combined dblp search
author search
venue search
publication search

ask others

23. IFL 2011: Lawrence, KS, USA

> 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/2011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/2011
Andy Gill, Jurriaan Hage:
Implementation and Application of Functional Languages - 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7257, Springer 2012, ISBN 978-3-642-34406-0
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/MiddelkoopEP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/MiddelkoopEP11
Arie Middelkoop, Alexander B. Elyasov, Wishnu Prasetya:
Functional Instrumentation of ActionScript Programs with Asil. 1-16
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/AmsdenF11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/AmsdenF11
Edward Amsden, Matthew Fluet:
Fairness for Transactional Events. 17-34
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/MaierT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/MaierT11
Patrick Maier, Philip W. Trinder:
Implementing a High-Level Distributed-Memory Parallel Haskell in Haskell. 35-50
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/Schilling11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/Schilling11
Thomas Schilling:
Challenges for a Trace-Based Just-In-Time Compiler for Haskell. 51-68
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/ReichNR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/ReichNR11
Jason S. Reich, Matthew Naylor, Colin Runciman:
Lazy Generation of Canonical Test Programs. 69-84
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/PerssonAS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/PerssonAS11
Anders Persson, Emil Axelsson, Josef Svenningsson:
Generic Monadic Constructs for Embedded Languages. 85-99
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/ChangBCF11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/ChangBCF11
Stephen Chang, Eli Barzilay, John Clements, Matthias Felleisen:
From Stack Traces to Lazy Rewriting Sequences. 100-115
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/KoopmanAP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/KoopmanAP11
Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer:
Model Based Testing with Logical Properties versus State Machines. 116-133
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/Page11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/Page11
Rex L. Page:
Property-Based Testing and Verification: A Catalog of Classroom Examples. 134-147
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/Thomsen11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/Thomsen11
Michael Kirkedal Thomsen:
Describing and Optimising Reversible Logic Using a Functional Language. 148-163
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/Megacz11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/Megacz11
Adam Megacz:
Hardware Design with Generalized Arrows. 164-180

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.