#

reversible-programming-language

Here are 2 public repositories matching this topic...

vikraman / 2DTypes

Collaborative work on reversible computing

category-theory quantum-computing agda reversible-programming-language reversible-computation monoidal-categories

Updated Aug 3, 2022
TeX

petur-a / masters

Developing a type system for a minimal reversible functional language.

functional-programming master-thesis semantics type-theory reversible-programming-language diku operational-semantics type-classes program-transformations linear-logic first-match-policy

Updated Aug 30, 2018
TeX

Improve this page

Add a description, image, and links to the reversible-programming-language topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the reversible-programming-language topic, visit your repo's landing page and select "manage topics."