Skip to content

na0214/snail

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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".

About

[WIP] A functional programming language based on Coeffect Calculus and Graded Modal Type Theory.

Topics

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published
pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy