The Koka Programming Language

Koka Language Specification

Related Keywords

Steven Fontanella ,Ningning Xie ,Daan Leijen ,Youyou Cong ,Anton Lorenzen , ,Place Functional ,Context Free ,Effect Handlers ,Evidence Passing ,Named Effect ,