Type checking a multithreaded functional language with session types.

Vasco Thudichum Vasconcelos Simon J. Gay António Ravara

Published in: Theor. Comput. Sci. (2006)

Keyphrases

type checking
functional language
functional programming
data types
database
artificial intelligence
preprocessing
general purpose
programming language