Name		Name	Last commit message	Last commit date
corefun		corefun
presentation		presentation
report		report
.gitignore		.gitignore
README.md		README.md

Repository files navigation

Master's Thesis 2018

Developing a type system for a minimal reversible functional language.

Petur Andrias Højgaard Jacobsen

About

Developing a type system for a minimal reversible functional language.

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

7 stars

3 watching

Report repository

Releases

Packages

Contributors

Languages