Login / Signup

Interactive Bulk Synchronous Parallel Functional Programming in a Browser.

Julien TessonFrédéric Loulergue
Published in: SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI (2018)
Keyphrases
  • functional programming
  • functional language
  • execution model
  • quantifier elimination
  • programming language
  • object oriented programming
  • databases
  • user interface
  • data flow