Typechecking a Multithreaded Functional Language with Session Types

Vasco Vasconcelos, Simon Gay, António Ravara,

URL	http://www.di.fc.ul.pt/~vv/papers/vasconcelos.gay.ravara:tychecking-session-types.pdf
Journal	Theoretical Computer Science
Publisher	Universitat Politècnica de Catalunya
Volume	368
Number	1--2
URL	http://www.di.fc.ul.pt/~vv/papers/vasconcelos.gay.ravara:tychecking-session-types.pdf
Journal	Theoretical Computer Science
Publisher	Universitat Politècnica de Catalunya
Volume	368
Number	1--2

Publication