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

@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)

2 ×#functional

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.