Vasco T. Vasconcelos  Home/Search
Context
Related
| di.fc.ul.pt/~vv/papers/tapos98.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: di.fc.ul.pt/~vv/publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this article appeared under the title "Typed Concurrent Objects" (Update)
Active bibliography (related documents): More All
0.5: Predicative Polymorphism in π-Calculus - Vasconcelos (1994) (Correct)
0.5: Lambda and pi calculi, CAM and SECD machines - Vasconcelos (2001) (Correct)
0.3: Typing Non-uniform Concurrent Objects - Ravara (1999) (Correct)
Similar documents based on text: More All
0.4: Lu'is Lopes Vasco T. Vasconcelos - Departamento De Ciencia (Correct)
0.3: TyCO + Linear channels - Martins, Vasconcelos (2001) (Correct)
0.3: Notas para a cadeira de Programação Concorrente - Vasconcelos (1997) (Correct)
BibTeX entry: (Update)
@misc{ vasconcelos-processes,
author = "Vasco T. Vasconcelos",
title = "Processes, Functions, and Datatypes",
url = "citeseer.ist.psu.edu/vasconcelos98processes.html" }
Citations (may not include all citations):854 Information and Computation (context) - Milner, Parrow et al. - 1992
673 Actors: A Model of Concurrent Computation in Distributed Sys.. (context) - Agha - 1986
384 The Definition of Standard ML (context) - Milner, Tofte et al. - 1997
369 A semantics of multiple inheritance - Cardelli - 1984
343 Principal type-schemes for functional programs (context) - Damas, Milner - 1982
294 An object calculus for asynchronous communication - Honda, Tokoro - 1991
271 The Oz programming model - Smolka - 1995
258 Miranda: a non-strict functional language with polymorphic t.. (context) - Turner - 1985
200 Pict: A programming language based on the pi-calculus - Pierce, Turner - 1997
194 Functions as processes (context) - Milner - 1992
183 Report on the programming language Haskell: A non-strict (context) - Hudak, Jones et al. - 1992
146 Typing and subtyping for mobile processes - Pierce, Sangiorgi - 1993
127 Information and Computation (context) - Walker, the - 1995
99 Typed concurrent objects - Vasconcelos - 1994
65 A parallel object-oriented language (context) - America - 1987
62 Theoretical aspects of object-oriented programming: types - Mitchell - 1994
59 A typing system for a calculus of objects - Vasconcelos, Tokoro - 1993
55 A compilation method for ML-style polymorphic record calculi - Ohori - 1992
47 Two extensions of Curry's type inference system (context) - Cardone, Coppo - 1990
39 The reflexive chemical abstract machine and the join-calculu.. (context) - Fournet, Gonthier - 1996
29 A foundation for concurrent constraint programming (context) - Smolka - 1994
27 Springer-Verlag (context) - Abadi, Cardelli et al. - 1996
16 A process-calculus approach to typed concurrent objects (context) - Vasconcelos - 1994
14 modular actor formalism for artificial intelligence (context) - Hewitt, Bishop et al. - 1973
10 Principal typingschemes in a polyadic -calculus (context) - Vasconcelos, Honda - 1993
7 Control structures as patterns of passing messages (context) - Hewitt - 1977
6 Predicative polymorphism in - calculus (context) - Vasconcelos - 1994
2 Call-by-name and call-by-value and the - calculus (context) - Plotkin - 1975
2 Polymorphic type schemes for functional programming (context) - Mycroft - 1984
Documents on the same site (http://www.di.fc.ul.pt/~vv/publications.html): More
A Typing System for a Calculus of Objects - Vasconcelos, Tokoro (1993) (Correct)
Predicative Polymorphism in π-Calculus - Vasconcelos (1994) (Correct)
Typed Concurrent Objects - Vasconcelos (1994) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC