Revised Selected Papers of the 23rd International Symposium on Implementation and Application of Functional Languages
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

FP
DBLP
Scholar
DOI
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.