Theseus
From Esolang
Jump to navigation
Jump to search
Theseus
is a reversible programming language that uses algebraic data types.
Links
Fork by chessai of the Theseus implementation
Original implementation by Roshan P. James and Amr Sabry of Indiana University
Roshan P. James and Amr Sabry. Theseus: A High Level Language for Reversible Computing. Work-in-progress report in the Conference on Reversible Computation, 2014. PDF linked
Categories
:
Languages
2014
Reversible computing
Functional paradigm
Turing complete
Implemented
Navigation menu
Personal tools
Create account
Log in
Namespaces
Page
Discussion
English
Views
Read
View source
View history
More
Search
Navigation
Main page
Community portal
Language list
Browse by category
Recent changes
Random page
Help
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information