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

TOTAL DOCUMENTS

6

(FIVE YEARS 6)

H-INDEX

1

(FIVE YEARS 1)

Published By Springer International Publishing

9783030471460, 9783030471477

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Type Inference for Rank 2 Gradual Intersection Types

Lecture Notes in Computer Science - Trends in Functional Programming ◽

10.1007/978-3-030-47147-7_5 ◽

2020 ◽

pp. 84-120

Author(s):

Pedro Ângelo ◽

Mário Florido

Keyword(s):

Type Inference ◽

Rank 2 ◽

Intersection Types

Download Full-text

How to Specify It!

Lecture Notes in Computer Science - Trends in Functional Programming ◽

10.1007/978-3-030-47147-7_4 ◽

2020 ◽

pp. 58-83

Author(s):

John Hughes

Download Full-text

Verifying Selective CPS Transformation for Shift and Reset

Lecture Notes in Computer Science - Trends in Functional Programming ◽

10.1007/978-3-030-47147-7_3 ◽

2020 ◽

pp. 38-57

Author(s):

Chiaki Ishio ◽

Kenichi Asai

Download Full-text

Quotients by Idempotent Functions in Cedille

Lecture Notes in Computer Science - Trends in Functional Programming ◽

10.1007/978-3-030-47147-7_1 ◽

2020 ◽

pp. 1-20

Author(s):

Andrew Marmaduke ◽

Christopher Jenkins ◽

Aaron Stump

Download Full-text

Set Constraints, Pattern Match Analysis, and SMT

Lecture Notes in Computer Science - Trends in Functional Programming ◽

10.1007/978-3-030-47147-7_6 ◽

2020 ◽

pp. 121-141 ◽

Author(s):

Joseph Eremondi

Keyword(s):

Pattern Match ◽

Match Analysis ◽

Set Constraints

Download Full-text

Early Experience in Teaching the Basics of Functional Language Design with a Language Type Checker

Lecture Notes in Computer Science - Trends in Functional Programming ◽

10.1007/978-3-030-47147-7_2 ◽

2020 ◽

pp. 21-37

Author(s):

Matteo Cimini

Keyword(s):

Early Experience ◽

Language Design ◽

Functional Language ◽

Download Full-text