Relating Functional and Imperative Session Types.

Hannes Saffrich Peter Thiemann

Published in: Log. Methods Comput. Sci. (2022)

Keyphrases

database
neural network
information systems
digital libraries
machine learning
human brain
functional properties