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

TOTAL DOCUMENTS

8

(FIVE YEARS 0)

H-INDEX

2

(FIVE YEARS 0)

Published By Springer International Publishing

9783319391090, 9783319391106

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Termination Proofs for Recursive Functions in FoCaLiZe

Lecture Notes in Computer Science - Trends in Functional Programming ◽

10.1007/978-3-319-39110-6_8 ◽

2016 ◽

pp. 136-156 ◽

Author(s):

Catherine Dubois ◽

François Pessaux

Keyword(s):

Recursive Functions ◽

Termination Proofs

Download Full-text

A Shallow Embedded Type Safe Extendable DSL for the Arduino

Lecture Notes in Computer Science - Trends in Functional Programming ◽

10.1007/978-3-319-39110-6_6 ◽

2016 ◽

pp. 104-123 ◽

Author(s):

Pieter Koopman ◽

Rinus Plasmeijer

Keyword(s):

Download Full-text

Lightweight Higher-Order Rewriting in Haskell

Lecture Notes in Computer Science - Trends in Functional Programming ◽

10.1007/978-3-319-39110-6_1 ◽

2016 ◽

pp. 1-21

Author(s):

Emil Axelsson ◽

Andrea Vezzosi

Keyword(s):

Download Full-text

Towards a Theory of Reach

Lecture Notes in Computer Science - Trends in Functional Programming ◽

10.1007/978-3-319-39110-6_2 ◽

2016 ◽

pp. 22-39 ◽

Author(s):

Jonathan Fowler ◽

Graham Huttom

Download Full-text

Type Class Instances for Type-Level Lambdas in Haskell

Lecture Notes in Computer Science - Trends in Functional Programming ◽

10.1007/978-3-319-39110-6_4 ◽

2016 ◽

pp. 60-84

Author(s):

Thijs Alkemade ◽

Johan Jeuring

Download Full-text

Laminar Data Flow: On the Role of Slicing in Functional Data-Flow Programming

Lecture Notes in Computer Science - Trends in Functional Programming ◽

10.1007/978-3-319-39110-6_5 ◽

2016 ◽

pp. 85-103 ◽

Author(s):

Baltasar Trancón y Widemann ◽

Markus Lepper

Keyword(s):

Functional Data ◽

Download Full-text

Programmable Signatures

Lecture Notes in Computer Science - Trends in Functional Programming ◽

10.1007/978-3-319-39110-6_7 ◽

2016 ◽

pp. 124-135 ◽

Author(s):

Anders Persson ◽

Emil Axelsson

Download Full-text

Functional Testing of Java Programs

Lecture Notes in Computer Science - Trends in Functional Programming ◽

10.1007/978-3-319-39110-6_3 ◽

2016 ◽

pp. 40-59

Author(s):

Clara Benac Earle ◽

Lars-Åke Fredlund

Keyword(s):

Functional Testing ◽

Download Full-text