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

9783540691747, 9783540691754

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Encoding Strategies in the Lambda Calculus with Interaction Nets

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

10.1007/11964681_2 ◽

2006 ◽

pp. 19-36 ◽

Cited By ~ 2

Author(s):

Ian Mackie

Keyword(s):

Lambda Calculus ◽

Encoding Strategies

Download Full-text

A Binding Scope Analysis for Generic Programs on Arrays

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

10.1007/11964681_13 ◽

2006 ◽

pp. 212-230 ◽

Cited By ~ 6

Author(s):

Clemens Grelck ◽

Sven-Bodo Scholz ◽

Alex Shafarenko

Download Full-text

A Framework for Point-Free Program Transformation

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

10.1007/11964681_1 ◽

2006 ◽

pp. 1-18 ◽

Cited By ~ 4

Author(s):

Alcino Cunha ◽

Jorge Sousa Pinto ◽

José Proença

Keyword(s):

Program Transformation

Download Full-text

A Document-Centered Environment for Haskell

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

10.1007/11964681_12 ◽

2006 ◽

pp. 196-211 ◽

Cited By ~ 4

Author(s):

Keith Hanna

Download Full-text

The Implementation of iData

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

10.1007/11964681_7 ◽

2006 ◽

pp. 106-123 ◽

Cited By ~ 8

Author(s):

Rinus Plasmeijer ◽

Peter Achten

Download Full-text

Accurate Step Counting

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

10.1007/11964681_6 ◽

2006 ◽

pp. 91-105

Author(s):

Catherine Hope ◽

Graham Hutton

Keyword(s):

Step Counting

Download Full-text

Implementing a Numerical Solution of the KPI Equation Using Single Assignment C: Lessons and Experiences

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

10.1007/11964681_10 ◽

2006 ◽

pp. 160-177 ◽

Cited By ~ 5

Author(s):

Alex Shafarenko ◽

Sven-Bodo Scholz ◽

Stephan Herhut ◽

Clemens Grelck ◽

Kai Trojahner

Keyword(s):

Numerical Solution ◽

Single Assignment ◽

Single Assignment C

Download Full-text

With-Loop Fusion for Data Locality and Parallelism

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

10.1007/11964681_11 ◽

2006 ◽

pp. 178-195 ◽

Cited By ~ 11

Author(s):

Clemens Grelck ◽

Karsten Hinckfuß ◽

Sven-Bodo Scholz

Keyword(s):

Data Locality ◽

Loop Fusion

Download Full-text

Polytypic Syntax Tree Operations

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

10.1007/11964681_9 ◽

2006 ◽

pp. 142-159 ◽

Cited By ~ 1

Author(s):

Arjen van Weelden ◽

Sjaak Smetsers ◽

Rinus Plasmeijer

Keyword(s):

Syntax Tree

Download Full-text

A Rational Deconstruction of Landin’s J Operator

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

10.1007/11964681_4 ◽

2006 ◽

pp. 55-73

Author(s):

Olivier Danvy ◽

Kevin Millikin

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Encoding Strategies in the Lambda Calculus with Interaction Nets

A Binding Scope Analysis for Generic Programs on Arrays

A Framework for Point-Free Program Transformation

A Document-Centered Environment for Haskell

The Implementation of iData

Accurate Step Counting

Implementing a Numerical Solution of the KPI Equation Using Single Assignment C: Lessons and Experiences

With-Loop Fusion for Data Locality and Parallelism

Polytypic Syntax Tree Operations

A Rational Deconstruction of Landin’s J Operator

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