Login / Signup

Real-Time Deques, Multihead Thring Machines, and Purely Functional Programming.

Tyng-Ruey ChuangBenjamin Goldberg
Published in: FPCA (1993)
Keyphrases
  • functional programming
  • real time
  • programming language
  • functional language
  • object oriented programming
  • execution model
  • quantifier elimination