Implementation and Application of Functional Languages - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

14

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642415814, 9783642415821

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Notation for Comonads

Implementation and Application of Functional Languages - Lecture Notes in Computer Science ◽

10.1007/978-3-642-41582-1_1 ◽

2013 ◽

pp. 1-17

Author(s):

Dominic Orchard ◽

Alan Mycroft

Download Full-text

The HERMIT in the Tree

Implementation and Application of Functional Languages - Lecture Notes in Computer Science ◽

10.1007/978-3-642-41582-1_6 ◽

2013 ◽

pp. 86-103 ◽

Author(s):

Neil Sculthorpe ◽

Andrew Farmer ◽

Andy Gill

Download Full-text

A Type- and Control-Flow Analysis for System F

Implementation and Application of Functional Languages - Lecture Notes in Computer Science ◽

10.1007/978-3-642-41582-1_8 ◽

2013 ◽

pp. 122-139 ◽

Author(s):

Matthew Fluet

Keyword(s):

Flow Analysis ◽

Control Flow ◽

System F ◽

And Control ◽

Control Flow Analysis

Download Full-text

Agda Meets Accelerate

Implementation and Application of Functional Languages - Lecture Notes in Computer Science ◽

10.1007/978-3-642-41582-1_11 ◽

2013 ◽

pp. 174-189 ◽

Author(s):

Peter Thiemann ◽

Manuel M. T. Chakravarty

Download Full-text

OCaml-Java: From OCaml Sources to Java Bytecodes

Implementation and Application of Functional Languages - Lecture Notes in Computer Science ◽

10.1007/978-3-642-41582-1_5 ◽

2013 ◽

pp. 71-85 ◽

Author(s):

Xavier Clerc

Download Full-text

Building JavaScript Applications with Haskell

Implementation and Application of Functional Languages - Lecture Notes in Computer Science ◽

10.1007/978-3-642-41582-1_3 ◽

2013 ◽

pp. 37-52 ◽

Author(s):

Atze Dijkstra ◽

Jurriën Stutterheim ◽

Alessandro Vermeulen ◽

S. Doaitse Swierstra

Download Full-text

Pure and Lazy Lambda Mining

Implementation and Application of Functional Languages - Lecture Notes in Computer Science ◽

10.1007/978-3-642-41582-1_13 ◽

2013 ◽

pp. 207-223

Author(s):

Nicolas Wu ◽

José Pedro Magalhães ◽

Jeroen Bransen ◽

Wouter Swierstra

Download Full-text

Decomposing Metaheuristic Operations

Implementation and Application of Functional Languages - Lecture Notes in Computer Science ◽

10.1007/978-3-642-41582-1_14 ◽

2013 ◽

pp. 224-239 ◽

Author(s):

Richard Senington ◽

David Duke

Download Full-text

Optimisation of Generic Programs Through Inlining

Implementation and Application of Functional Languages - Lecture Notes in Computer Science ◽

10.1007/978-3-642-41582-1_7 ◽

2013 ◽

pp. 104-121 ◽

Author(s):

José Pedro Magalhães

Download Full-text

Iterating Skeletons

Implementation and Application of Functional Languages - Lecture Notes in Computer Science ◽

10.1007/978-3-642-41582-1_2 ◽

2013 ◽

pp. 18-36 ◽

Author(s):

Mischa Dieterle ◽

Thomas Horstmeyer ◽

Jost Berthold ◽

Rita Loogen

Download Full-text