articles
Detail
Publication date: 1 de June, 2021Publication Typechecking a Multithreaded Functional Language with Session Types – Journal Theoretical Computer Science
| Journal | Theoretical Computer Science |
|---|---|
| Publisher | Universitat Politècnica de Catalunya |
| Volume | 368 |
| Number | 1--2 |
| Pub. Date | 01/01/2006 |