Publications Home » Keywords » Language Design
Language Design
On this page:
Book Chapter
- Language and Architecture Paradigms as Object Classes: A Unified Approach Towards Multiparadigm Programming
![[PDF]](/decor/icon-pdf-mini.png)
- Diomidis Spinellis, Sophia Drossopoulou, Susan Eisenbach
- Programming Languages and System Architectures
- Volume 782, pp.191–207
- Springer-Verlag
- January, 1994
Journal Articles
- BabyJ: from object based to class based programming via types
- Christopher Anderson, Sophia Drossopoulou
- Electronic Notes in Theoretical Computer Science
- Volume 82, Issue 8
- 2003
- More Dynamic Object Re-classification: FickleII
![[Postscript]](/decor/icon-ps-mini.png)
- Sophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini
- ACM Transactions On Programming Languages and Systems
- pp.153–191
- ACM
- March, 2002
- Object-Oriented Technology in Multiparadigm Language Implementation
- Diomidis Spinellis, Sophia Drossopoulou, Susan Eisenbach
- Journal of Object Oriented Programming
- Volume 8, Issue 1, pp.33–38
- March, 1995
Electronic Journal Article
- SCHOOL: a Small Chorded Object-Oriented Language
- Sophia Drossopoulou, Alexis Petrounias, Alex Buckley, Susan Eisenbach
- Electronic Notes in Theoretical Computer Science
- Volume 135, Issue 3, pp.37–47
- Elsevier
- March, 2006
Conference and Workshop Papers
- Lock Inference in the Presence of Large Libraries
- Khilan Gudka, Tim Harris, Susan Eisenbach
- Eurepean Conference for Object-Oriented Programming
- June, 2012
- Stage: Python with Actors
- J.W. Ayres, Susan Eisenbach
- International Workshop on Multicore Software Engineering (IWMSE)
- May, 2009
- Existential Quantification for Variant Ownership
- Nicholas Cameron, Sophia Drossopoulou
- European Symposium on Programming
- Lecture Notes in Computer Science, Springer
- March, 2009
- Safely Speaking in Tongues:
Statically Checking Domain Specific Languages in Haskell
- Matthew Sackman, Susan Eisenbach
- LDTA'09
- March, 2009
- A Model for Java Wildcards
- Nicholas Cameron, Sophia Drossopoulou, Erik Ernst
- Eurepean Conference for Object-Oriented Programming
- Lecture Notes in Computer Science, Springer-Verlag, LNCS
- July, 2008
- Keep Off The Grass: Locking the Right Path for Atomicity
- David Cunningham, Khilan Gudka, Susan Eisenbach
- Compiler Construction 2008
- Volume 4959, pp.276–290
- Lecture Notes in Computer Science, Springer Berlin / Heidelberg
- April, 2008
- Multiple Ownership
- Nicholas Cameron, Sophia Drossopoulou, James Noble, Matthew Smith
- OOPSLA 07
- October, 2007
- Universe Types for Race Safety
- David Cunningham, Sophia Drossopoulou, Susan Eisenbach
- VAMP 07
- pp.20–51
- September, 2007
- Towards an Existential Types Model for Java Wildcards
- Nicholas Cameron, Erik Ernst, Sophia Drossopoulou
- Formal Techniques for Java-like Programs (FTfJP) 2007
- July, 2007
- Tribe: More Types for Virtual Classes
- Sophia Drossopoulou, David Clarke, James Noble, Tobias Wrigstad
- 6th International conference on Aspect-oriented software development (AOSD 2007), Vancouver, British Columbia, Canada
- pp.121–134
- ACM Press
- March, 2007
- Towards Type Inference for JavaScript
- Christopher Anderson, Sophia Drossopoulou, Paola Giannini
- 19th European Conference on Object-Oriented Programming (ECOOP 2005), Glasgow, Scotland
- pp.428–452
- July, 2005
- A Distributed Object-Oriented language with Session types
- Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Alexander Ahern, Sophia Drossopoulou
- International Symposium of Trustworthy Global Computing
- April, 2005
- Polymorphic Bytecode: Compositional Compilation for Java-like Languages
- Davide Ancona, Ferruccio Damiani, Sophia Drossopoulou, Elena Zucca
- 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2005)
- January, 2005
- Even More Principal Typings for Java-like Languages
- Davide Ancona, Ferruccio Damiani, Sophia Drossopoulou, Elena Zucca
- ECOOP Workshop on Formal Techniques for Java Programs (FTfJP 2004)
- June, 2004
- Simple Dependent Types: Concord
- Sophia Drossopoulou, Paul Jolly, Christopher Anderson, Klaus Ostermann
- ECOOP Workshop on Formal Techniques for Java-like Programs (FTfJP 2004)
- June, 2004
- Refined Effects for Unanticipated Object Re-classification: Fickle3 (Extended Abstract)
- Sophia Drossopoulou, Ferruccio Damiani, Paola Giannini
- Theoretical Computer Science: 8th Italian Conference (ICTCS'03}
- Volume 2841, pp.97–110
- Lecture Notes in Computer Science, Springer-Verlag
- October, 2003
- Ownership, Encapsulation and the Disjointness of Types and Effects
- David Clarke, Sophia Drossopoulou
- 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (OOPSLA'02)
- pp.292–310
- ACM Press
- November, 2002
- A type preserving translation of Fickle into Java
- Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca
- TOSCA'01
- Volume 62
- ENTCS, Elsevier
- September, 2002
- delta an imperative object based calculus
- Christopher Anderson, Sophia Drossopoulou
- USE 2002
- 2002
- An Effective Translation of Fickle into Java
- Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca
- 7th Italian Conference on Theoretical Computer Science, ICTCS 2001, Torino, Italy, October 4-6, 2001
- Volume 2202, pp.215–234
- Lecture Notes in Computer Science, Springer
- October, 2001
- Fickle: Dynamic Object Re-classification
- Sophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini
- Eurepean Conference for Object-Oriented Programming
- pp.130–149
- Springer Verlag
- June, 2001
- Overloading and Inheritance
- Davide Ancona, Sophia Drossopoulou, Elena Zucca
- 8th International Workshop on Foundations for Object Oriented Languages (FOOL 2001)
- January, 2001
- An Object Model for Multiparadigm Programming
- Diomidis Spinellis, Sophia Drossopoulou, Susan Eisenbach
- OOPSLA Workshop on Multi-Language Object Models
- 1994
PhD Thesis
- Existential Types for Subtype Variance - Java Wildcards and Ownership Types
- Nicholas Cameron
- Imperial College London
- April, 2009
Department of Computing Technical Report
- A Featherweight Model for Chorded Languages
- Alexis Petrounias, Sophia Drossopoulou, Susan Eisenbach
- December, 2008
Technical Reports
- Errors for the Common Man: Hiding the unintelligable in Haskell
- Matthew Sackman, Susan Eisenbach
- September, 2008
- Session Types in Haskell: Updating Message Passing for the 21st Century
- Matthew Sackman, Susan Eisenbach
- July, 2008
BibTeX file for these publications
pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.