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

9783642344060, 9783642344077

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Property-Based Testing and Verification: A Catalog of Classroom Examples

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

10.1007/978-3-642-34407-7_9 ◽

2012 ◽

pp. 134-147 ◽

Cited By ~ 2

Author(s):

Rex Page

Download Full-text

Implementing a High-Level Distributed-Memory Parallel Haskell in Haskell

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

10.1007/978-3-642-34407-7_3 ◽

2012 ◽

pp. 35-50 ◽

Cited By ~ 14

Author(s):

Patrick Maier ◽

Phil Trinder

Keyword(s):

Distributed Memory ◽

High Level

Download Full-text

Hardware Design with Generalized Arrows

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

10.1007/978-3-642-34407-7_11 ◽

2012 ◽

pp. 164-180 ◽

Cited By ~ 4

Author(s):

Adam Megacz

Keyword(s):

Hardware Design

Download Full-text

Lazy Generation of Canonical Test Programs

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

10.1007/978-3-642-34407-7_5 ◽

2012 ◽

pp. 69-84 ◽

Cited By ~ 4

Author(s):

Jason S. Reich ◽

Matthew Naylor ◽

Colin Runciman

Download Full-text

Functional Instrumentation of ActionScript Programs with Asil

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

10.1007/978-3-642-34407-7_1 ◽

2012 ◽

pp. 1-16 ◽

Cited By ~ 6

Author(s):

Arie Middelkoop ◽

Alexander B. Elyasov ◽

Wishnu Prasetya

Download Full-text

Describing and Optimising Reversible Logic Using a Functional Language

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

10.1007/978-3-642-34407-7_10 ◽

2012 ◽

pp. 148-163 ◽

Cited By ~ 4

Author(s):

Michael Kirkedal Thomsen

Keyword(s):

Reversible Logic ◽

Functional Language

Download Full-text

Generic Monadic Constructs for Embedded Languages

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

10.1007/978-3-642-34407-7_6 ◽

2012 ◽

pp. 85-99 ◽

Cited By ~ 20

Author(s):

Anders Persson ◽

Emil Axelsson ◽

Josef Svenningsson

Download Full-text

Model Based Testing with Logical Properties versus State Machines

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

10.1007/978-3-642-34407-7_8 ◽

2012 ◽

pp. 116-133 ◽

Cited By ~ 2

Author(s):

Pieter Koopman ◽

Peter Achten ◽

Rinus Plasmeijer

Keyword(s):

State Machines ◽

Model Based ◽

Model Based Testing

Download Full-text

Fairness for Transactional Events

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

10.1007/978-3-642-34407-7_2 ◽

2012 ◽

pp. 17-34

Author(s):

Edward Amsden ◽

Matthew Fluet

Download Full-text

From Stack Traces to Lazy Rewriting Sequences

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

10.1007/978-3-642-34407-7_7 ◽

2012 ◽

pp. 100-115 ◽

Cited By ~ 1

Author(s):

Stephen Chang ◽

Eli Barzilay ◽

John Clements ◽

Matthias Felleisen

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Property-Based Testing and Verification: A Catalog of Classroom Examples

Implementing a High-Level Distributed-Memory Parallel Haskell in Haskell

Hardware Design with Generalized Arrows

Lazy Generation of Canonical Test Programs

Functional Instrumentation of ActionScript Programs with Asil

Describing and Optimising Reversible Logic Using a Functional Language

Generic Monadic Constructs for Embedded Languages

Model Based Testing with Logical Properties versus State Machines

Fairness for Transactional Events

From Stack Traces to Lazy Rewriting Sequences

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