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

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
Load More ...
Sign in / Sign up

Export Citation Format

Share Document