Skip to content

Latest commit

 

History

History
20 lines (15 loc) · 856 Bytes

README.md

File metadata and controls

20 lines (15 loc) · 856 Bytes

Snail

Snail is a statically-typed functional programming language that based on Coeffect Calculus and Graded Modal Type Theory.

Installation

$ git clone https://github.com/na0214/snail.git
$ cd snail
$ dune build
$ dune install

Reference

  • Petricek, Tomas and Orchard, Dominic and Mycroft, Alan. (2014). "Coeffects: A calculus of context-dependent computation".
  • Aloïs BrunelMarco GaboardiDamiano MazzaSteve Zdancewic (2014). "A Core Quantitative Coeffect Calculus".
  • Gaboardi, Marco and Katsumata, Shin-ya and Orchard, Dominic and Breuvart, Flavien and Uustalu, Tarmo. (2016). "Combining effects and coeffects via grading".
  • Atkey, Robert. (2018). "Syntax and Semantics of Quantitative Type Theory".
  • Dominic Orchard, Vilem-Benjamin Liepelt, Harley Eades III. (2019). "Quantitative Program Reasoning with Graded Modal Types".