Theoretical Aspects of Computer Software
-
Theoretical Aspects of Computer Software: International Conference TACS '91, Sendai, Japan, September 24-27, 1991. Proceedings
The interest in semantics of dataflow networks is to a large extent due to the work by Kahn ( 14 ) , who proposed an elegant semantic model for dataflow networks with only deterministic processes . However , the straight - forward ...
-
Theoretical Aspects of Computer Software: 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001. Proceedings
By Benjamin C. Pierce, Naoki KobayashiThe completeness result for our infinitary type system is based on the connection between Abramsky's ... In fact, to obtain a non-trivial model for the λ-calculus one needs to consider a fixed collection of basic types.
-
Theoretical Aspects of Computer Software: Third International Symposium, TACS'97, Sendai, Japan, September 23 - 26, 1997, Proceedings
By Takayasu Ito, Martin AbadiWe have extended that calculus to a two - level calculus dc to obtain a calculus for sound call - by - value ... Sabry and Wadler ( 35 ) introduced the sharpened notions of Galois connection and reflection that we also use in this paper ...
-
Theoretical Aspects of Computer Software: International Symposium TACS ’94 Sendai, Japan, April 19–22, 1994 Proceedings
By John C. Mitchell, Masami HagiyaAn Operational Approach to Combining Classical Set Theory and Functional Programming Languages 2 Douglas J. Howe1 and Scott D. Stoller2 1 AT & T Bell Labs , 600 Mountain Ave. , Room 2B - 438 Murray Hill , NJ 07974 ...
-
Theoretical Aspects of Computer Software: International Conference TACS ’91, Sendai, Japan, September 24–27, 1991. Proceedings
By Takayasu Ito, Albert R. MeyerTACS'91 is the first International Conference on Theoretical Aspects of Computer Science held at Tohoku University, Japan, in September 1991. This volume contains 37 papers and an abstract for the talks presented at the conference.
-
Theoretical Aspects of Computer Software: Third International Symposium, TACS'97, Sendai, Japan, September 23 - 26, 1997, Proceedings
By Takayasu Ito, Martin AbadiThis book constitutes the refereed proceedings of the Third International Symposium on Theoretical Aspects of Computer Software, TACS'97, held in Sendai, Japan, in September 1997.
-
Theoretical Aspects of Computer Software: 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001. Proceedings
By Benjamin C. Pierce, Naoki KobayashiThis volume constitutes the proceedings of the Fourth International Symposium on Theoretical Aspects of Computer Software (TACS 2001) held at Tohoku U- versity, Sendai, Japan in October 2001.