Download:
|
by Vasco T. Vasconcelos, Rui Bastos, Campo Gr
http://www.ncc.up.pt/~lblopes/./tyco/language.ps.gz
Add To MetaCart
Abstract:
The files are stored in PDF, with the report number as filename. Alternatively, reports are available by post from the above address. This is the second report on T yCO [3], a (still) experimental strongly and implicitly typed concurrent object oriented programming language based on a predicative polymorphic calculus of objects [4, 5], featuring asynchronous messages, objects, and process declarations, together with a predicative polymorphic typing assignment system assigning monomorphic types to variables and polymorphic types to process variables. Sections 1 and 2 define the syntax and static semantics of the language, both in the style of Standard ML [2]. Dynamic semantics is the subject of Section 3,
Citations
|
886
|
A Calculus of Mobile Processes
– Milner, Parrow, et al.
- 1992
|
|
865
|
Actors: A Model of Concurrent Computation in Distributed Systems
– Agha
- 1986
|
|
795
|
A Theory of Objects
– Abadi, Cardelli
- 1996
|
|
500
|
A semantics of multiple inheritance
– Cardelli
- 1984
|
|
491
|
The Definition of Standard ML (Revised
– Milner, Tofte, et al.
- 1997
|
|
299
|
Viewing control structures as patterns of passing messages
– Hewitt
- 1977
|
|
287
|
The Oz programming model
– Smolka
- 1995
|
|
282
|
An object calculus for asynchronous communication
– Honda, Tokoro
- 1991
|
|
281
|
Functions as processes
– Milner
- 1992
|
|
256
|
Principal type-schemes for functional programs
– Damas, Milner
- 1982
|
|
251
|
Call-by-name, call-by-value and the *-calculus
– Plotkin
- 1975
|
|
233
|
Pict: A programming language based on the pi-calculus
– Pierce, Turner
- 2000
|
|
220
|
Typing and subtyping for mobile processes
– Pierce, Sangiorgi
- 1996
|
|
183
|
The reflexive chemical abstract machine and the join-calculus
– Fournet, Gonthier
- 1996
|
|
129
|
Miranda: a non-strict functional language with polymorphic types
– Turner
- 1985
|
|
99
|
POOL-T: A Parallel Object-Oriented Language
– America
|
|
71
|
et al. Report on the programming language Haskell: a non-strict, purely functional language version 1.2
– Hudak
- 1992
|
|
71
|
Typed Concurrent Objects
– Vasconcelos
- 1996
|
|
65
|
A universal modular actor formalism for artificial intelligence
– Hewitt, Bishop, et al.
- 1973
|
|
62
|
A compilation method for ML-style polymorphic record calculi
– Ohori
- 1992
|
|
53
|
A Typing System for a Calculus of Objects
– Vasconcelos, Tokoro
- 1993
|
|
52
|
Objects in the -calculus
– Walker
- 1995
|
|
45
|
Two Extensions of Curry's Type Inference System
– Cardone, Coppo
- 1990
|
|
27
|
A Foundation for Concurrent Constraint Programming
– Smolka
- 1994
|
|
17
|
A process-calculus approach to typed concurrent objects
– Vasconcelos
- 1994
|
|
11
|
Predicative polymorphism in ��-calculus
– Vasconcelos
- 1994
|
|
11
|
Principal typing-schemes in a polyadic -calculus
– Vasconcelos, Honda
- 1993
|
|
10
|
eds. Theoretical aspects of object-oriented programming: types,semantics, and language design
– Gunter, Mitchell
- 1994
|
|
2
|
TyCO: the language definition, version 0.0
– Vasconcelos
- 1993
|
|
2
|
Polymorphic type schemes for functional programming
– Mycroft
- 1984
|
