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

TOTAL DOCUMENTS

13

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540260943, 9783540320388

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Source-Based Trace Exploration

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

10.1007/11431664_8 ◽

2005 ◽

pp. 126-141 ◽

Author(s):

Olaf Chitil

Download Full-text

A Virtual Machine for Functional Logic Computations

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

10.1007/11431664_7 ◽

2005 ◽

pp. 108-125 ◽

Author(s):

Sergio Antoy ◽

Michael Hanus ◽

Jimeng Liu ◽

Andrew Tolmach

Keyword(s):

Virtual Machine ◽

Functional Logic

Download Full-text

A Functional Programming Technique for Forms in Graphical User Interfaces

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

10.1007/11431664_3 ◽

2005 ◽

pp. 35-51 ◽

Author(s):

Sander Evers ◽

Peter Achten ◽

Jan Kuper

Keyword(s):

User Interfaces ◽

Functional Programming ◽

Graphical User Interfaces ◽

Programming Technique

Download Full-text

V→M: A Virtual Machine for Strict Evaluation of (Co)Recursive Functions

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

10.1007/11431664_6 ◽

2005 ◽

pp. 90-107

Author(s):

Baltasar Trancón y Widemann

Keyword(s):

Virtual Machine ◽

Recursive Functions

Download Full-text

Shrinking Reductions in SML.NET

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

10.1007/11431664_9 ◽

2005 ◽

pp. 142-159 ◽

Author(s):

Nick Benton ◽

Andrew Kennedy ◽

Sam Lindley ◽

Claudio Russo

Download Full-text

Explaining ML Type Errors by Data Flows

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

10.1007/11431664_5 ◽

2005 ◽

pp. 72-89 ◽

Author(s):

Holger Gast

Keyword(s):

Download Full-text

Simple, Effective Code-Size Reduction for Functional Programs

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

10.1007/11431664_13 ◽

2005 ◽

pp. 211-225

Author(s):

Ekaterina Stefanov ◽

Anthony M. Sloane

Keyword(s):

Size Reduction ◽

Download Full-text

General Homomorphic Overloading

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

10.1007/11431664_12 ◽

2005 ◽

pp. 195-210 ◽

Author(s):

Alex Shafarenko ◽

Sven-Bodo Scholz

Download Full-text

Reasoning About Deterministic Concurrent Functional I/O

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

10.1007/11431664_11 ◽

2005 ◽

pp. 177-194 ◽

Author(s):

Malcolm Dowse ◽

Andrew Butterfield ◽

Marko van Eekelen

Download Full-text

Dynamic Construction of Generic Functions

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

10.1007/11431664_10 ◽

2005 ◽

pp. 160-176

Author(s):

Ronny Wichers Schreur ◽

Rinus Plasmeijer

Download Full-text