Computing Publications

Publications Home » Keywords » Language Design

Publications matching Language Design
What are feeds?
All feeds

Language Design

Book Chapter

Language and Architecture Paradigms as Object Classes: A Unified Approach Towards Multiparadigm Programming [PDF]
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 [PDF]
Christopher Anderson, Sophia Drossopoulou
Electronic Notes in Theoretical Computer Science
Volume 82, Issue 8
2003
More Dynamic Object Re-classification: FickleII [Postscript]
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 [PDF]
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 [PDF]
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 [PDF]
Khilan Gudka, Tim Harris, Susan Eisenbach
Eurepean Conference for Object-Oriented Programming
June, 2012
Stage: Python with Actors [PDF]
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 [PDF]
Matthew Sackman, Susan Eisenbach
LDTA'09
March, 2009
A Model for Java Wildcards [PDF]
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 [PDF]
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 [PDF]
Nicholas Cameron, Sophia Drossopoulou, James Noble, Matthew Smith
OOPSLA 07
October, 2007
Universe Types for Race Safety [PDF]
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 [PDF]
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 [PDF]
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 [PDF]
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 [PDF]
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 [PDF]
Davide Ancona, Ferruccio Damiani, Sophia Drossopoulou, Elena Zucca
ECOOP Workshop on Formal Techniques for Java Programs (FTfJP 2004)
June, 2004
Simple Dependent Types: Concord [PDF]
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) [PDF]
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 [Postscript]
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 [PDF]
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 [PDF]
Christopher Anderson, Sophia Drossopoulou
USE 2002
2002
An Effective Translation of Fickle into Java [Postscript]
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 [Postscript]
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 [Postscript]
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 [PDF]
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 [PDF]
Alexis Petrounias, Sophia Drossopoulou, Susan Eisenbach
December, 2008

Technical Reports

Errors for the Common Man: Hiding the unintelligable in Haskell [PDF]
Matthew Sackman, Susan Eisenbach
September, 2008
Session Types in Haskell: Updating Message Passing for the 21st Century [PDF]
Matthew Sackman, Susan Eisenbach
July, 2008

BibTeX file for these publications

 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.