Archives - Page 11
-
PB-350 An Overview of the Mjølner BETA System
No. 350 (1991) -
PB-351 Real-Time Action
No. 351 (1991) -
PB-352 A Model for Real-Time Systems
No. 352 (1991) -
PB-347 A Modal Characterisation of Distributed Bisimulation
No. 347 (1991) -
PB-346 Elementary Transition Systems and Refinement
No. 346 (1991) -
PB-345 Object-Oriented Type Inference
No. 345 (1991) -
PB-343 Some Results on Uniform Arithmetic Circuit Complexity
No. 343 (1991) -
PB-341 A Unified Type System for Object-Oriented Programming
No. 341 (1990) -
PB-342 What is Type-Safe Code Reuse?
No. 342 (1990) -
PB-336 Type Inference with Inequalities
No. 336 (1990) -
PB-334 Activity Theory as a Challenge to Systems Design
No. 334 (1990) -
PB-335 The Complexity of Malign Ensembles
No. 335 (1990) -
PB-333 Supporting Active User Involvement in Prototyping
No. 333 (1990) -
PB-330 Convertible Undeniable Signatures
No. 330 (1990) -
PB-317 Type substitution for object-oriented programming
No. 317 (1990)