A functional language for describing reversible logic

Keyphrases

• Small Circuits 50%
• Intermediate Language 50%
• Recursive Call 50%
• Free Translation 50%
• Design Flow 50%
• Circuit Size 50%
• Cosine Transformation 50%
• Binary Adder 50%
• Linear Types 50%
• Size-change Termination 50%

Computer Science

• Functional Languages 100%
• Type System 50%
• Computational Modeling 50%