gitlab.com / sio4 / code / rdt-rvsdg
Resourceful Dependent Types enriched with inductive types; compiled to Regionalized Value State Dependence Graph enriched with Equality Saturation; accelerated by deriving optimizations from user defined equivalence proofs.
JSON API: http://repos.ecosyste.ms/api/v1/hosts/gitlab.com/repositories/sio4%2Fcode%2Frdt-rvsdg
Stars: 1
Forks: 0
Open issues: 0
License: None
Language:
Dependencies parsed at: Pending
Created at: about 5 years ago
Updated at: about 5 years ago
Last synced at: over 2 years ago
Topics: compiler, dependently typed lambda calculus, eqsat, equality saturation, linear types, optimizations, proofgen, regionalized value state dependence graph, resourceful dependent types, rvsdg, type theory