Objects and Classes, Coalgebraically (1995)

Cached

Download Links

by B. Jacobs , Issn -x , Bart Jacobs
Venue:Object-Orientation with Parallelism and Persistence
Citations:71 - 18 self

Active Bibliography

552 Featherweight Java: A Minimal Core Calculus for Java and GJ – Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler - 1999
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
767 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
595 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
1008 Bigraphs and Mobile Processes – Ole H√łgh Jensen, Robin Milner - 2003
792 A calculus for cryptographic protocols: The spi calculus – Martin Abadi, Andrew D. Gordon - 1999
816 Mobile ambients – Luca Cardelli, Andrew D. Gordon - 1998
952 The Generative Lexicon – James Pustejovsky - 1991
778 Logical foundations of object-oriented and frame-based languages – Michael Kifer, Georg Lausen, James Wu - 1995