Cartesian Programming Publication Archive

John Plaice Collected Works (1987-2013) of John Plaice

Putting Programming on the Index.
The present compilation includes all of the writings in computer science by John Plaice and his team of the School of Computer Science and Engineering, The University of New South Wales, Sydney, NSW, Australia.
List of Publications

Blanca Mancilla Collected Works of Blanca Mancilla

Always be aware of the context you are in.
The present compilation includes all of the writings in remote sensing and computer science by Blanca Mancilla of the School of Computer Science and Engineering, The University of New South Wales, Sydney, NSW, Australia.
List of Publications

William W. Wadge Collected Works (1972-2010) of William W. Wadge (Bill Wadge)

The Infinite in Computer Science.
The present compilation includes all of the writings in mathematics and computer science by Professor William W. Wadge of the University of Victoria, Victoria, British Columbia, Canada.
List of Publications

ISLIP logo Complete Archive (1988-1999) of the Proceedings of the International Symposia on Languages for Intensional Programming
The term intensional programming was proposed in 1986 to describe the semantics of the Lucid programming language. In intensional programming, the semantics of a program is an intension, which is a mapping from contexts to ordinary programs.
More ...

DCW logo Complete Archive (1998-2002) of the Proceedings of the International Workshops on Distributed Communities on the Web
Communities are groupings of objects and subjects which communicate, directly or indirectly, through the medium of a shared context. In the electronic era these communities are formed by users, programs, hosts, devices (i.e., human, software, hardware, or some combination thereof) and the shared medium is the network.
The DCW conference series brings together researchers interested in the development of communities, its creation, update and maintenance.
More ...




Comments: plaice at cse dot unsw dot edu dot au.
Last modified Thu Aug 7 19:05:41 EST 2014