Login / Signup

A Platform for Full-Stack Functional Programming.

Cecil Accetti R. de A. MeloPeilin LiuRendong Ying
Published in: ISCAS (2020)
Keyphrases
  • functional programming
  • functional language
  • quantifier elimination
  • programming language
  • execution model
  • object oriented programming
  • data structure
  • data integration