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

9783540741299, 9783540741305

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Functional–Based Synthesis of a Systolic Array for GCD Computation

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

10.1007/978-3-540-74130-5_3 ◽

2007 ◽

pp. 37-54 ◽

Cited By ~ 2

Author(s):

Laura Ruff ◽

Tudor Jebelean

Keyword(s):

Systolic Array

Download Full-text

Proving Program Properties Specified with Subtype Marks

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

10.1007/978-3-540-74130-5_10 ◽

2007 ◽

pp. 163-180 ◽

Cited By ~ 1

Author(s):

Tamás Kozsik

Download Full-text

A Pattern Logic for Prompt Lazy Assertions in Haskell

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

10.1007/978-3-540-74130-5_8 ◽

2007 ◽

pp. 126-144 ◽

Cited By ~ 3

Author(s):

Olaf Chitil ◽

Frank Huch

Download Full-text

Heuristics for Type Error Discovery and Recovery

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

10.1007/978-3-540-74130-5_12 ◽

2007 ◽

pp. 199-216 ◽

Cited By ~ 19

Author(s):

Jurriaan Hage ◽

Bastiaan Heeren

Download Full-text

Low-Level Programming in Hume: An Exploration of the HW-Hume Level

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

10.1007/978-3-540-74130-5_6 ◽

2007 ◽

pp. 91-107 ◽

Cited By ~ 1

Author(s):

Kevin Hammond ◽

Gudmund Grov ◽

Greg Michaelson ◽

Andrew Ireland

Keyword(s):

Low Level

Download Full-text

Index Vector Elimination – Making Index Vectors Affordable

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

10.1007/978-3-540-74130-5_2 ◽

2007 ◽

pp. 19-36 ◽

Cited By ~ 5

Author(s):

Robert Bernecky ◽

Stephan Herhut ◽

Sven-Bodo Scholz ◽

Kai Trojahner ◽

Clemens Grelck ◽

...

Keyword(s):

Index Vector

Download Full-text

Automatic Partial Inversion of Inductively Sequential Functions

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

10.1007/978-3-540-74130-5_15 ◽

2007 ◽

pp. 253-270 ◽

Cited By ~ 5

Author(s):

Jesús M. Almendros-Jiménez ◽

Germán Vidal

Keyword(s):

Partial Inversion

Download Full-text

Parallel Coordination Made Explicit in a Functional Setting

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

10.1007/978-3-540-74130-5_5 ◽

2007 ◽

pp. 73-90 ◽

Cited By ~ 7

Author(s):

Jost Berthold ◽

Rita Loogen

Keyword(s):

Functional Setting

Download Full-text

A Conference Management System Based on the iData Toolkit

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

10.1007/978-3-540-74130-5_7 ◽

2007 ◽

pp. 108-125 ◽

Cited By ~ 2

Author(s):

Rinus Plasmeijer ◽

Peter Achten

Keyword(s):

Management System ◽

Conference Management

Download Full-text

Ivor, a Proof Engine

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

10.1007/978-3-540-74130-5_9 ◽

2007 ◽

pp. 145-162 ◽

Cited By ~ 1

Author(s):

Edwin Brady

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Functional–Based Synthesis of a Systolic Array for GCD Computation

Proving Program Properties Specified with Subtype Marks

A Pattern Logic for Prompt Lazy Assertions in Haskell

Heuristics for Type Error Discovery and Recovery

Low-Level Programming in Hume: An Exploration of the HW-Hume Level

Index Vector Elimination – Making Index Vectors Affordable

Automatic Partial Inversion of Inductively Sequential Functions

Parallel Coordination Made Explicit in a Functional Setting

A Conference Management System Based on the iData Toolkit

Ivor, a Proof Engine

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