Andy Gill, Jurriaan Hage
Revised Selected Papers of the 23rd International Symposium on Implementation and Application of Functional Languages
IFL, 2011.

@proceedings{IFL-2011,
	address       = "Lawrence, Kansas, USA",
	doi           = "10.1007/978-3-642-34407-7",
	editor        = "Andy Gill and Jurriaan Hage",
	isbn          = "978-3-642-34406-0",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Revised Selected Papers of the 23rd International Symposium on Implementation and Application of Functional Languages}",
	volume        = 7257,
	year          = 2011,
}

Contents (11 items)

2 ×#functional
2 ×#haskell
2 ×#lazy evaluation
2 ×#logic
2 ×#source code
2 ×#testing

IFL-2011-MiddelkoopEP #functional #source code

Functional Instrumentation of ActionScript Programs with Asil (AM, ABE, WP), pp. 1–16.

IFL-2011-AmsdenF #transaction

Fairness for Transactional Events (EA, MF), pp. 17–34.

IFL-2011-MaierT #haskell #implementation #parallel

Implementing a High-Level Distributed-Memory Parallel Haskell in Haskell (PM, PWT), pp. 35–50.

IFL-2011-Schilling #challenge #compilation #haskell

Challenges for a Trace-Based Just-In-Time Compiler for Haskell (TS), pp. 51–68.

IFL-2011-ReichNR #canonical #generative #lazy evaluation #source code

Lazy Generation of Canonical Test Programs (JSR, MN, CR), pp. 69–84.

IFL-2011-PerssonAS #embedded #monad

Generic Monadic Constructs for Embedded Languages (AP, EA, JS), pp. 85–99.

IFL-2011-ChangBCF #lazy evaluation #sequence #stack

From Stack Traces to Lazy Rewriting Sequences (SC, EB, JC, MF), pp. 100–115.

IFL-2011-KoopmanAP #logic #modelling #state machine #testing

Model Based Testing with Logical Properties versus State Machines (PWMK, PA, RP), pp. 116–133.

IFL-2011-Page #testing #verification

Property-Based Testing and Verification: A Catalog of Classroom Examples (RP), pp. 134–147.

IFL-2011-Thomsen #functional #logic #optimisation #using

Describing and Optimising Reversible Logic Using a Functional Language (MKT), pp. 148–163.

IFL-2011-Megacz #design #hardware

Hardware Design with Generalized Arrows (AM), pp. 164–180.