Quotient Haskell: Lightweight Quotient Types for All.

Brandon Hewer Graham Hutton

Published in: Proc. ACM Program. Lang. (2024)

Keyphrases

lightweight
machine intelligence
development environments
wireless sensor networks
programming language
handheld devices
data collection
rfid tags