We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:


References & Citations

DBLP - CS Bibliography


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Programming Languages

Title: Gemini: A Functional Programming Language for Hardware Description

Abstract: This paper presents Gemini, a functional programming language for hardware description that provides features such as parametric polymorphism, recursive datatypes, higher-order functions, and type inference for higher expressivity compared to modern hardware description languages. Gemini demonstrates the theory and implementation of novel type-theoretical concepts through its unique type system consisting of multiple atomic kinds and dependent types, which allows the language to model both software and hardware constructs safely and perform type inference through multi-staged compilation. The primary technical results of this paper include formalizations of the Gemini grammar, typing rules, and evaluation rules, a proof of safety of Gemini's type system, and a prototype implementation of the compiler's semantic analysis phase.
Subjects: Programming Languages (cs.PL)
Cite as: arXiv:1911.03926 [cs.PL]
  (or arXiv:1911.03926v1 [cs.PL] for this version)

Submission history

From: Aditya Srinivasan [view email]
[v1] Sun, 10 Nov 2019 13:19:02 GMT (51kb)

Link back to: arXiv, form interface, contact.