1 result found Sort:

cedille
cedille cedille
27
371
mit
24
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
dependent-types lambda-calculus programming-language dependent-intersections
Created 2018-06-22
1,817 commits to master branch, last one 3 years ago