#

first-match-policy

Here is 1 public repository matching this topic...

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 first-match-policy 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 first-match-policy topic, visit your repo's landing page and select "manage topics."