Login / Signup

High-Level Modelling for Typed Functional Programming.

Yusuf Moosa Motara
Published in: TFP (2021)
Keyphrases
  • functional programming
  • high level
  • programming language
  • low level
  • functional language
  • execution model
  • object oriented programming
  • quantifier elimination
  • object oriented
  • software engineering
  • response time