Differences

This shows you the differences between two versions of the page.

topics_for_24_march [2013/03/14 22:38]
luiscaires
topics_for_24_march [2013/03/14 22:46] (current)
luiscaires [List of suggestions]
Line 675: Line 675:
  
 **Justification**: (by Hugo Torres Vieira) Again, I believe there should be no need to justify, as this paper introduced the base ideas for session types.  **Justification**: (by Hugo Torres Vieira) Again, I believe there should be no need to justify, as this paper introduced the base ideas for session types. 
 +
 +----
 +
 +''
 +@inproceedings{DBLP:conf/parle/TakeuchiHK94,
 +  author    = {Kaku Takeuchi and
 +               Kohei Honda and
 +               Makoto Kubo},
 +  title     = {An Interaction-based Language and its Typing System},
 +  booktitle = {PARLE '94: Parallel Architectures and Languages Europe,
 +               6th International PARLE Conference, Athens, Greece, July
 +               4-8, 1994, Proceedings},
 +  year      = {1994},
 +  pages     = {398-413},
 +  ee        = {http://dx.doi.org/10.1007/3-540-58184-7_118},
 +  crossref  = {DBLP:conf/parle/1994},
 +  bibsource = {DBLP, http://dblp.uni-trier.de}
 +}
 +''
 +
 +**Justification**: (by Luís Caires) Perhaps mostly interesting for historical reasons,
 +this paper seems to be the very first proposal for a
 +programming language encarnation of session types with all the usual modern features (results do not address delegation,
 +although the type structure does)
 +popularised by the Honda Vasconcelos and Kubo ESOP'98 paper. 
  
 ---- ----
 
topics_for_24_march.txt · Last modified: 2013/03/14 22:46 by luiscaires
 
Except where otherwise noted, content on this wiki is licensed under the following license:CC Attribution-Share Alike 3.0 Unported
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki