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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642244513, 9783642244520

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Descriptor-Free Representation of Arrays with Dependent Types

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

10.1007/978-3-642-24452-0_6 ◽

2011 ◽

pp. 100-117

Author(s):

Kai Trojahner ◽

Clemens Grelck

Keyword(s):

Dependent Types ◽

Free Representation

Download Full-text

An Executable and Testable Semantics for iTasks

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

10.1007/978-3-642-24452-0_12 ◽

2011 ◽

pp. 212-232 ◽

Cited By ~ 4

Author(s):

Pieter Koopman ◽

Rinus Plasmeijer ◽

Peter Achten

Download Full-text

From Functional Logic Programs to Purely Functional Programs Preserving Laziness

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

10.1007/978-3-642-24452-0_2 ◽

2011 ◽

pp. 25-42 ◽

Cited By ~ 6

Author(s):

Bernd Braßel ◽

Sebastian Fischer

Keyword(s):

Logic Programs ◽

Functional Logic

Download Full-text

Monatron: An Extensible Monad Transformer Library

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

10.1007/978-3-642-24452-0_13 ◽

2011 ◽

pp. 233-248 ◽

Cited By ~ 2

Author(s):

Mauro Jaskelioff

Download Full-text

A Library for Processing Ad hoc Data in Haskell

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

10.1007/978-3-642-24452-0_10 ◽

2011 ◽

pp. 174-191

Author(s):

Yan Wang ◽

Verónica Gaspes

Keyword(s):

Ad Hoc

Download Full-text

Scans and Convolutions— A Calculational Proof of Moessner’s Theorem

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

10.1007/978-3-642-24452-0_1 ◽

2011 ◽

pp. 1-24 ◽

Cited By ~ 2

Author(s):

Ralf Hinze

Download Full-text

iEditors: Extending iTask with Interactive Plug-ins

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

10.1007/978-3-642-24452-0_11 ◽

2011 ◽

pp. 192-211 ◽

Cited By ~ 3

Author(s):

Jan Martin Jansen ◽

Rinus Plasmeijer ◽

Pieter Koopman

Download Full-text

Collected Size Semantics for Functional Programs over Lists

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

10.1007/978-3-642-24452-0_7 ◽

2011 ◽

pp. 118-137 ◽

Cited By ~ 4

Author(s):

Olha Shkaravska ◽

Marko van Eekelen ◽

Alejandro Tamalet

Download Full-text

An Interaction Net Implementation of Closed Reduction

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

10.1007/978-3-642-24452-0_3 ◽

2011 ◽

pp. 43-59 ◽

Cited By ~ 3

Author(s):

Ian Mackie

Keyword(s):

Closed Reduction

Download Full-text

Embedding a Functional Hybrid Modelling Language in Haskell

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

10.1007/978-3-642-24452-0_8 ◽

2011 ◽

pp. 138-155 ◽

Cited By ~ 6

Author(s):

George Giorgidze ◽

Henrik Nilsson

Keyword(s):

Modelling Language ◽

Hybrid Modelling

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Descriptor-Free Representation of Arrays with Dependent Types

An Executable and Testable Semantics for iTasks

From Functional Logic Programs to Purely Functional Programs Preserving Laziness

Monatron: An Extensible Monad Transformer Library

A Library for Processing Ad hoc Data in Haskell

Scans and Convolutions— A Calculational Proof of Moessner’s Theorem

iEditors: Extending iTask with Interactive Plug-ins

Collected Size Semantics for Functional Programs over Lists

An Interaction Net Implementation of Closed Reduction

Embedding a Functional Hybrid Modelling Language in Haskell

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