Presentation - Githubissues

joristt / Hanus

A much more powerful version of the reversible language Janus, built in Haskell

8 stars 0 forks source link

Presentation #48

Closed ivogabe closed 6 years ago

ivogabe commented 6 years ago

Background - Ivo
Motivation - Cas
Language - Joris B
Code Example - Joris TT
Comparison with relational programming - Orestis
Very short: our research project in one slide

ivogabe commented 6 years ago

My reference was https://www.dropbox.com/s/pfrochjt91ae2d0/What%20do%20Reversible%20Programs%20Compute%3F.pdf?dl=0