- Home
- Abstracts
- Toacy Oliveira
- Dietrich Birngruber
- Md Abdul Muqsit khan
- Rainer Ruggaber
- Elke Pulvermueller
- Zoltán Porkoláb
- Asmus Pandikow
- Steven Fonseca
- Abdlulrahman Al-Khudair
- Ousmane Sy
- Dan Suciu
- JOSE LUIS HERRERO
- Fernanda Baiao
- Alexandre Sztajnberg
- li yawei
- RAMARAJU MANAVALAN
- stuart marshall
- Widayashanti Sardjono
- yuming zhou
- Guido Roessling
- Guray YILMAZ
- Rajini Kanth Naidu
- Hermes Senger
- Johan Larsson
- Alexander Fronk
- Harald Stöttner
- Gilles Ardourel
- Hung LEDANG
- Attila Ulbert
- Roland Neumann
- Panitiq Netinant
- Michael Haupt
- Ezzeddin HATTAB
- priti bala
- Elzbieta Pustulka-Hunt
- Cyril Ray
- Yann-Gaël Guéhéneuc
- Péter Csontos
- Pierre Crescenzo
- Adeline Capouillez
- Mats Skoglund
- Dipankar Chakrabarti
- Pascal Costanza
- Krzysztof Kaczmarski
- Hardeep Singh
- Johannes Martin
- Arockiam L arockiam
- Raees Khan
- Baumann Bernard
- Serge Kovalev
- Arnulf Braatz
- Jun Pang
- Beum-Seuk Lee
- Sérgio Soares
- Eric Tanter
- Xinyu Dai
- Nicodemos Damianou
- Hans Reiser
- Olivier Nano
- Tracy Lewis
- Fei Cao
- Sergio Luján-Mora
- Francisco Silva
- Manuel Roman
- Brian Shand
- Pedro José ClementeMartín
- Peter Pietzuch
- Charles Suscheck
- Omar Sallabi
- Eli Tilevich
- wei zhao
- KOTRAPPA SIRBI
- Qin Ma
- Hector G. Perez-Gonzalez
- Phung Nguyen
- Ulrich Lang
- jiangixong Pang
- N.Sambasivarao Nandam
- Philippe Chevalley
- waralak vongdoiwang
- Wasif Gilani
- Atul Kumar
- Abdelsalam Shanneb
- Raees Khan
- Han Zhongming
- Mohamed El Wakil
- Amine Med ROUANE-HACENE
- Olabode Samuel Akinsola
- Robert Cloutier
- Yunming WANG
- Hoang Truong
- MIHIR MIHIR
- Romain Rouvoy
- Aine Mitchell
- suresh babu kare
- Mohammed Jaber
- Krishnan Gowthaman
- Greg Turner
- Naouel Moha
- Angela Lozano Rodriguez
- Joining
- Links
- Subscription
- Workshops
Supported by AITO.
These pages are currently maintained by Alex Potanin
A Mode System for Object Sharing
Mats Skoglund
( Sweden )
DSV/KTHElectrum 230 164 40 KISTA
tel: +46-8-162000
fax:
matte@dsv.su.se
Keywords:
formal calculus language concepts software engineering typing
Abstract:
-
HTML3
JAVA
Last modified on Mon Aug 15 14:59:24 2005