1 paper
Aditya Srinivasan, Andrew D. Hilton
This paper presents Gemini, a functional programming language for hardware description that provides features such as parametric polymorphism, recursive datatypes, higher-order fun…