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

9783319897189, 9783319897196
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Automatically Introducing Tail Recursion in CakeML

2018 ◽  
pp. 118-134 ◽  
Author(s):  
Oskar Abrahamsson ◽  
Magnus O. Myreen
Keyword(s):  
Tail Recursion

Typed Relational Conversion

2018 ◽  
pp. 39-58 ◽  
Author(s):  
Petr Lozov ◽  
Andrei Vyatkin ◽  
Dmitry Boulytchev

The CakeML Compiler Explorer

2018 ◽  
pp. 135-148
Author(s):  
Rikard Hjort ◽  
Jakob Holmgren ◽  
Christian Persson

Memoized Flat Closures for CPS

2018 ◽  
pp. 1-18
Author(s):  
Marco T. Morazán ◽  
Lindsey M. Reams ◽  
Nicholas R. Olson ◽  
Shamil Dzhatdoyev

scholarly journals Concurrent System Programming with Effect Handlers

2018 ◽  
pp. 98-117 ◽  
Author(s):  
Stephen Dolan ◽  
Spiros Eliopoulos ◽  
Daniel Hillerström ◽  
Anil Madhavapeddy ◽  
K. C. Sivaramakrishnan ◽  
...  
Keyword(s):  
Concurrent System ◽  
System Programming

scholarly journals Elmsvuur: A Multi-tier Version of Elm and its Time-Traveling Debugger

2018 ◽  
pp. 79-97 ◽  
Author(s):  
Jeff Horemans ◽  
Bob Reynders ◽  
Dominique Devriese ◽  
Frank Piessens

Maintaining Separation of Concerns Through Task Oriented Software Development

2018 ◽  
pp. 19-38 ◽  
Author(s):  
Jurriën Stutterheim ◽  
Peter Achten ◽  
Rinus Plasmeijer
Keyword(s):  
Software Development ◽  
Separation Of Concerns ◽  
Task Oriented

QuickChecking Patricia Trees

2018 ◽  
pp. 59-78 ◽  
Author(s):  
Jan Midtgaard
Load More ...
Sign in / Sign up

Export Citation Format

Share Document