PLDB Top 1K Features Creators Events Podcasts Books Extensions Interviews Blog Explorer CSV

sill

< >

sill is an open source programming language created in 2015 by Dennis Griffith.

#1635on PLDB

9Years Old

Download source code:

git clone https://github.com/ISANobody/sill

A programming language based on the intuitionistic linear logic view of session types.

Tags: programming language
sill is developed on GitHub and has 28 stars
Early development of sill happened in University of Illinois Urbana-Champaign
sill is written in OCaml, Bourne shell, YAML
Read more about sill on the web: 1.

PLDB - Build the next great programming language · Add · Issues · About · Search · Keywords · Livestreams · Labs · Resources · Acknowledgements

Built with Scroll v154.3.0