Proceedings of the 26th 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

Sam Tobin-Hochstadt
Proceedings of the 26th International Symposium on Implementation and Application of Functional Languages
IFL, 2014.

FP
DBLP
Scholar
Full names Links ISxN
@proceedings{IFL-2014,
	acmid         = "2746325",
	address       = "Boston, Massachusetts, USA",
	editor        = "Sam Tobin-Hochstadt",
	isbn          = "978-1-4503-3284-2",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 26th International Symposium on Implementation and Application of Functional Languages}",
	year          = 2014,
}

Contents (10 items)

IFL-2014-Christiansen #low level #syntax
Type-Directed Elaboration of Quasiquotations: A High-Level Syntax for Low-Level Reflection (DRC), p. 1.
IFL-2014-LeF #functional #parallel
Combining Shared State with Speculative Parallelism in a Functional Language (ML, MF), p. 2.
IFL-2014-AdsitF #analysis #control flow #performance #system f
An Efficient Type- and Control-Flow Analysis for System F (CA, MF), p. 3.
IFL-2014-KoopmanPJ #data type #encoding #functional #harmful #implementation
Church Encoding of Data Types Considered Harmful for Implementations: Functional Pearl (PWMK, RP, JMJ), p. 4.
IFL-2014-AmorimGAH #linear #type checking
Really Natural Linear Indexed Type Checking (AAdA, MG, EJGA, JH), p. 5.
IFL-2014-DomoszlaiLP #editing #named #type system
Editlets: type-based, client-side editors for iTasks (LD, BL, RP), p. 6.
IFL-2014-AchtenSDP #composition #interactive #programming #scalability
Task Oriented Programming with Purely Compositional Interactive Scalable Vector Graphics (PA, JS, LD, RP), p. 7.
IFL-2014-AronssonAS #domain-specific language #embedded
Stream Processing for Embedded Domain Specific Languages (MA, EA, MS), p. 8.
IFL-2014-DomoszlaiLP14a #bidirectional #lens #parametricity
Parametric lenses: change notification for bidirectional lenses (LD, BL, RP), p. 9.
IFL-2014-FredrikssonGW #higher-order #towards
Towards native higher-order remote procedure calls (OF, DRG, BW), p. 10.

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.