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

TOTAL DOCUMENTS

11

(FIVE YEARS 11)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer International Publishing

9783030577605, 9783030577612

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

An Equational Modeling of Asynchronous Concurrent Programming

Lecture Notes in Computer Science - Trends in Functional Programming ◽

10.1007/978-3-030-57761-2_9 ◽

2020 ◽

pp. 180-203

Author(s):

David Janin

Keyword(s):

Concurrent Programming

Download Full-text

Generating Next Step Hints for Task Oriented Programs Using Symbolic Execution

Lecture Notes in Computer Science - Trends in Functional Programming ◽

10.1007/978-3-030-57761-2_3 ◽

2020 ◽

pp. 47-68

Author(s):

Nico Naus ◽

Tim Steenvoorden

Keyword(s):

Symbolic Execution ◽

Download Full-text

One-Shot Algebraic Effects as Coroutines

Lecture Notes in Computer Science - Trends in Functional Programming ◽

10.1007/978-3-030-57761-2_8 ◽

2020 ◽

pp. 159-179

Author(s):

Satoru Kawahara ◽

Yukiyoshi Kameyama

Download Full-text

State Will do

Lecture Notes in Computer Science - Trends in Functional Programming ◽

10.1007/978-3-030-57761-2_10 ◽

2020 ◽

pp. 204-225

Author(s):

Willem Seynaeve ◽

Koen Pauwels ◽

Tom Schrijvers

Download Full-text

PaSe: An Extensible and Inspectable DSL for Micro-Animations

Lecture Notes in Computer Science - Trends in Functional Programming ◽

10.1007/978-3-030-57761-2_1 ◽

2020 ◽

pp. 3-24

Author(s):

Ruben P. Pieters ◽

Tom Schrijvers

Download Full-text

A Proof Assistant Based Formalisation of a Subset of Sequential Core Erlang

Lecture Notes in Computer Science - Trends in Functional Programming ◽

10.1007/978-3-030-57761-2_7 ◽

2020 ◽

pp. 139-158

Author(s):

Péter Bereczky ◽

Dániel Horpácsi ◽

Simon Thompson

Keyword(s):

Proof Assistant

Download Full-text

Scaling Up Delta Debugging of Type Errors

Lecture Notes in Computer Science - Trends in Functional Programming ◽

10.1007/978-3-030-57761-2_4 ◽

2020 ◽

pp. 71-93

Author(s):

Joanna Sharrad ◽

Olaf Chitil

Keyword(s):

Download Full-text

BinderAnn: Automated Reification of Source Annotations for Monadic EDSLs

Lecture Notes in Computer Science - Trends in Functional Programming ◽

10.1007/978-3-030-57761-2_2 ◽

2020 ◽

pp. 25-46

Author(s):

Agustín Mista ◽

Alejandro Russo

Download Full-text

Flexible Formality Practical Experience with Agile Formal Methods

Lecture Notes in Computer Science - Trends in Functional Programming ◽

10.1007/978-3-030-57761-2_5 ◽

2020 ◽

pp. 94-120

Author(s):

Philipp Kant ◽

Kevin Hammond ◽

Duncan Coutts ◽

James Chapman ◽

Nicholas Clarke ◽

...

Keyword(s):

Formal Methods ◽

Practical Experience

Download Full-text

Placement Strategies: Structured Skeleton Composition with Location-Aware Remote Data

Lecture Notes in Computer Science - Trends in Functional Programming ◽

10.1007/978-3-030-57761-2_11 ◽

2020 ◽

pp. 229-248

Author(s):

Lukas Immanuel Schiller

Keyword(s):

Location Aware ◽

Download Full-text