Proceedings of the 25th symposium on Implementation and Application of Functional Languages - IFL '13
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450329880

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Towards a framework for the implementation and verification of translations between argumentation models

Proceedings of the 25th symposium on Implementation and Application of Functional Languages - IFL '13 ◽

10.1145/2620678.2620688 ◽

2014 ◽

Author(s):

Bas van Gijzel ◽

Henrik Nilsson

Download Full-text

First Class Syntax, Semantics, and Their Composition

Proceedings of the 25th symposium on Implementation and Application of Functional Languages - IFL '13 ◽

10.1145/2620678.2620686 ◽

2014 ◽

Cited By ~ 3

Author(s):

Marcos Viera ◽

S. Doaitse Swierstra

Download Full-text

The implementation of the Mezzo type-checker

Proceedings of the 25th symposium on Implementation and Application of Functional Languages - IFL '13 ◽

10.1145/2620678.2620684 ◽

2014 ◽

Author(s):

Jonathan Protzenko

Download Full-text

The 101haskell Chrestomathy

Proceedings of the 25th symposium on Implementation and Application of Functional Languages - IFL '13 ◽

10.1145/2620678.2620681 ◽

2014 ◽

Cited By ~ 1

Author(s):

Ralf Lämmel ◽

Thomas Schmorleiz ◽

Andrei Varanovich

Download Full-text

Circularity and Lambda Abstraction

Proceedings of the 25th symposium on Implementation and Application of Functional Languages - IFL '13 ◽

10.1145/2620678.2620687 ◽

2014 ◽

Author(s):

Olivier Danvy ◽

Peter Thiemann ◽

Ian Zerny

Download Full-text

Piglets to the rescue

Proceedings of the 25th symposium on Implementation and Application of Functional Languages - IFL '13 ◽

10.1145/2620678.2620689 ◽

2014 ◽

Cited By ~ 5

Author(s):

Loïc Denuzière ◽

Ernesto Rodriguez ◽

Adam Granicz

Download Full-text

Next Generation Asynchronous Adaptive Specialization for Data-Parallel Functional Array Processing in SAC

Proceedings of the 25th symposium on Implementation and Application of Functional Languages - IFL '13 ◽

10.1145/2620678.2620690 ◽

2014 ◽

Cited By ~ 2

Author(s):

Clemens Grelck ◽

Heinrich Wiesinger

Keyword(s):

Array Processing ◽

Next Generation ◽

Data Parallel ◽

Adaptive Specialization

Download Full-text

The Design and Implementation of GUMSMP

Proceedings of the 25th symposium on Implementation and Application of Functional Languages - IFL '13 ◽

10.1145/2620678.2620682 ◽

2014 ◽

Cited By ~ 1

Author(s):

Malak Aljabri ◽

Hans-Wolfgang Loidl ◽

Phil W. Trinder

Keyword(s):

Design And Implementation

Download Full-text

Dependent Types for Safe and Secure Web Programming

Proceedings of the 25th symposium on Implementation and Application of Functional Languages - IFL '13 ◽

10.1145/2620678.2620683 ◽

2014 ◽

Cited By ~ 3

Author(s):

Simon Fowler ◽

Edwin Brady

Keyword(s):

Dependent Types ◽

Web Programming

Download Full-text

Measuring the Haskell Gap

Proceedings of the 25th symposium on Implementation and Application of Functional Languages - IFL '13 ◽

10.1145/2620678.2620685 ◽

2014 ◽

Cited By ~ 1

Author(s):

Leaf Petersen ◽

Todd A. Anderson ◽

Hai Liu ◽

Neal Glew

Download Full-text

Proceedings of the 25th symposium on Implementation and Application of Functional Languages - IFL '13Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Towards a framework for the implementation and verification of translations between argumentation models

First Class Syntax, Semantics, and Their Composition

The implementation of the Mezzo type-checker

The 101haskell Chrestomathy

Circularity and Lambda Abstraction

Piglets to the rescue

Next Generation Asynchronous Adaptive Specialization for Data-Parallel Functional Array Processing in SAC

The Design and Implementation of GUMSMP

Dependent Types for Safe and Secure Web Programming

Measuring the Haskell Gap

Proceedings of the 25th symposium on Implementation and Application of Functional Languages - IFL '13
Latest Publications