Substructural operational semantics and linear destination-passing style (invited talk)

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3302, Issue , 2004, Pages 196-

  Pfenning, Frank ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 35048863569     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30477-7_13     Document Type: Article

References (3)

1. Mosses, P.D.: Modular structural operational semantics. Journal of Logic and Algebraic Programming 60-61 (2004) 195-228
2. Wright, A.K., Felleisen, M.: A syntactic approach to type soundness. Information and Computation 115 (1994) 38-94
3. Cervesato, I., Pfenning, F., Walker, D., Watkins, K.: A concurrent logical framework II: Examples and applications. Technical Report CMU-CS-02-102, Department of Computer Science, Carnegie Mellon University (2002) Revised May 2003.