Lecture Notes in Computer Science - Trends in Functional Programming
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642320361, 9783642320378

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Adams’ Trees Revisited

Lecture Notes in Computer Science - Trends in Functional Programming ◽

10.1007/978-3-642-32037-8_9 ◽

2012 ◽

pp. 130-145 ◽

Cited By ~ 1

Author(s):

Milan Straka

Download Full-text

Functional High Performance Financial IT

Lecture Notes in Computer Science - Trends in Functional Programming ◽

10.1007/978-3-642-32037-8_7 ◽

2012 ◽

pp. 98-113 ◽

Cited By ~ 1

Author(s):

Jost Berthold ◽

Andrzej Filinski ◽

Fritz Henglein ◽

Ken Friis Larsen ◽

Mogens Steffensen ◽

...

Keyword(s):

High Performance

Download Full-text

Epic—A Library for Generating Compilers

Lecture Notes in Computer Science - Trends in Functional Programming ◽

10.1007/978-3-642-32037-8_3 ◽

2012 ◽

pp. 33-48 ◽

Cited By ~ 1

Author(s):

Edwin Brady

Download Full-text

Functory: A Distributed Computing Library for Objective Caml

Lecture Notes in Computer Science - Trends in Functional Programming ◽

10.1007/978-3-642-32037-8_5 ◽

2012 ◽

pp. 65-81 ◽

Cited By ~ 4

Author(s):

Jean-Christophe Filliâtre ◽

K. Kalyanasundaram

Keyword(s):

Distributed Computing

Download Full-text

Subtyping by Folding an Inductive Relation into a Coinductive One

Lecture Notes in Computer Science - Trends in Functional Programming ◽

10.1007/978-3-642-32037-8_2 ◽

2012 ◽

pp. 17-32 ◽

Cited By ~ 1

Author(s):

Vladimir Komendantsky

Keyword(s):

Inductive Relation

Download Full-text

Towards Modular Compilers for Effects

Lecture Notes in Computer Science - Trends in Functional Programming ◽

10.1007/978-3-642-32037-8_4 ◽

2012 ◽

pp. 49-64 ◽

Cited By ~ 2

Author(s):

Laurence E. Day ◽

Graham Hutton

Download Full-text

Thread-Safe Priority Queues in Haskell Based on Skiplists

Lecture Notes in Computer Science - Trends in Functional Programming ◽

10.1007/978-3-642-32037-8_8 ◽

2012 ◽

pp. 114-129

Author(s):

Michael Lesniak

Keyword(s):

Priority Queues

Download Full-text

ParaForming: Forming Parallel Haskell Programs Using Novel Refactoring Techniques

Lecture Notes in Computer Science - Trends in Functional Programming ◽

10.1007/978-3-642-32037-8_6 ◽

2012 ◽

pp. 82-97 ◽

Cited By ~ 8

Author(s):

Christopher Brown ◽

Hans-Wolfgang Loidl ◽

Kevin Hammond

Download Full-text

Functional Video Games in CS1 II

Lecture Notes in Computer Science - Trends in Functional Programming ◽

10.1007/978-3-642-32037-8_10 ◽

2012 ◽

pp. 146-162 ◽

Cited By ~ 7

Author(s):

Marco T. Morazán

Keyword(s):

Video Games

Download Full-text

Constraint-Free Type Error Slicing

Lecture Notes in Computer Science - Trends in Functional Programming ◽

10.1007/978-3-642-32037-8_1 ◽

2012 ◽

pp. 1-16 ◽

Cited By ~ 16

Author(s):

Thomas Schilling

Download Full-text

Lecture Notes in Computer Science - Trends in Functional ProgrammingLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Adams’ Trees Revisited

Functional High Performance Financial IT

Epic—A Library for Generating Compilers

Functory: A Distributed Computing Library for Objective Caml

Subtyping by Folding an Inductive Relation into a Coinductive One

Towards Modular Compilers for Effects

Thread-Safe Priority Queues in Haskell Based on Skiplists

ParaForming: Forming Parallel Haskell Programs Using Novel Refactoring Techniques

Functional Video Games in CS1 II

Constraint-Free Type Error Slicing

Lecture Notes in Computer Science - Trends in Functional Programming
Latest Publications