Lightweight Linearly-typed Programming with Lenses and Monads.

Keigo Imai Jacques Garrigue

Published in: J. Inf. Process. (2019)

Keyphrases

lightweight
programming language
development environments
higher order
wireless sensor networks
rfid tags
lambda calculus
imaging systems
computer programming
dos attacks
distributed databases
development environment
object oriented programming
handheld devices