Toward Verified Library-Level Choreographic Programming with Algebraic Effects.

Gan Shen Lindsey Kuper

Published in: CoRR (2024)

Keyphrases

programming language
search algorithm
development environment
individual level
database
real time
web services
multiscale
information technology
higher order
programming environment
positive effects
computer based instruction
fully functional