Do Be Do Be Do

Lindley, S; McBride, C; McLaughlin, C

Lindley, S (reprint author), Univ Edinburgh, Edinburgh, Midlothian, Scotland.

ACM SIGPLAN NOTICES, 2017; 52 (1): 500

Abstract

We explore the design and implementation of Frank, a strict functional programming language with a bidirectional effect type system designed from the ......

Full Text Link