Proceedings of the 26nd 2014 International Symposium on Implementation and Application of Functional Languages - IFL '14
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450332842

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

An Efficient Type- and Control-Flow Analysis for System F

Proceedings of the 26nd 2014 International Symposium on Implementation and Application of Functional Languages - IFL '14 ◽

10.1145/2746325.2746327 ◽

2014 ◽

Author(s):

Connor Adsit ◽

Matthew Fluet

Keyword(s):

Flow Analysis ◽

Control Flow ◽

Efficient Type ◽

System F ◽

And Control ◽

Control Flow Analysis

Download Full-text

Really Natural Linear Indexed Type Checking

Proceedings of the 26nd 2014 International Symposium on Implementation and Application of Functional Languages - IFL '14 ◽

10.1145/2746325.2746335 ◽

2014 ◽

Cited By ~ 9

Author(s):

Arthur Azevedo de Amorim ◽

Marco Gaboardi ◽

Emilio Jesús Gallego Arias ◽

Justin Hsu

Keyword(s):

Type Checking

Download Full-text

Type-Directed Elaboration of Quasiquotations

Proceedings of the 26nd 2014 International Symposium on Implementation and Application of Functional Languages - IFL '14 ◽

10.1145/2746325.2746326 ◽

2014 ◽

Cited By ~ 7

Author(s):

David Raymond Christiansen

Download Full-text

Editlets

Proceedings of the 26nd 2014 International Symposium on Implementation and Application of Functional Languages - IFL '14 ◽

10.1145/2746325.2746331 ◽

2014 ◽

Cited By ~ 5

Author(s):

László Domoszlai ◽

Bas Lijnse ◽

Rinus Plasmeijer

Download Full-text

Stream Processing for Embedded Domain Specific Languages

Proceedings of the 26nd 2014 International Symposium on Implementation and Application of Functional Languages - IFL '14 ◽

10.1145/2746325.2746334 ◽

2014 ◽

Cited By ~ 4

Author(s):

Markus Aronsson ◽

Emil Axelsson ◽

Mary Sheeran

Keyword(s):

Stream Processing ◽

Domain Specific Languages ◽

Domain Specific

Download Full-text

Church Encoding of Data Types Considered Harmful for Implementations

Proceedings of the 26nd 2014 International Symposium on Implementation and Application of Functional Languages - IFL '14 ◽

10.1145/2746325.2746330 ◽

2014 ◽

Cited By ~ 4

Author(s):

Pieter Koopman ◽

Rinus Plasmeijer ◽

Jan Martin Jansen

Keyword(s):

Data Types ◽

Church Encoding

Download Full-text

Parametric lenses

Proceedings of the 26nd 2014 International Symposium on Implementation and Application of Functional Languages - IFL '14 ◽

10.1145/2746325.2746333 ◽

2014 ◽

Cited By ~ 7

Author(s):

László Domoszlai ◽

Bas Lijnse ◽

Rinus Plasmeijer

Download Full-text

Combining Shared State with Speculative Parallelism in a Functional Language

Proceedings of the 26nd 2014 International Symposium on Implementation and Application of Functional Languages - IFL '14 ◽

10.1145/2746325.2746328 ◽

2014 ◽

Author(s):

Matthew Le ◽

Matthew Fluet

Keyword(s):

Functional Language ◽

Speculative Parallelism ◽

Shared State

Download Full-text

Task Oriented Programming with Purely Compositional Interactive Scalable Vector Graphics

Proceedings of the 26nd 2014 International Symposium on Implementation and Application of Functional Languages - IFL '14 ◽

10.1145/2746325.2746329 ◽

2014 ◽

Cited By ~ 7

Author(s):

Peter Achten ◽

Jurriën Stutterheim ◽

László Domoszlai ◽

Rinus Plasmeijer

Keyword(s):

Vector Graphics ◽

Scalable Vector Graphics ◽

Task Oriented

Download Full-text

Towards native higher-order remote procedure calls

Proceedings of the 26nd 2014 International Symposium on Implementation and Application of Functional Languages - IFL '14 ◽

10.1145/2746325.2746332 ◽

2014 ◽

Author(s):

Olle Fredriksson ◽

Dan R. Ghica ◽

Bertram Wheen

Keyword(s):

Higher Order

Download Full-text

Proceedings of the 26nd 2014 International Symposium on Implementation and Application of Functional Languages - IFL '14Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

An Efficient Type- and Control-Flow Analysis for System F

Really Natural Linear Indexed Type Checking

Type-Directed Elaboration of Quasiquotations

Editlets

Stream Processing for Embedded Domain Specific Languages

Church Encoding of Data Types Considered Harmful for Implementations

Parametric lenses

Combining Shared State with Speculative Parallelism in a Functional Language

Task Oriented Programming with Purely Compositional Interactive Scalable Vector Graphics

Towards native higher-order remote procedure calls

Proceedings of the 26nd 2014 International Symposium on Implementation and Application of Functional Languages - IFL '14
Latest Publications