| |
 |      |
                                            |
Note: Links lead to the DBLP on the Web. Kathleen Fisher 15 Kathleen Fisher, Riccardo Pucella , John H. Reppy : A framework for interoperability. Electronic Notes in Theoretical Computer Science 59 (1): (2001) 14 Kathleen Fisher, John H. Reppy : Extending Moby with Inheritance-Based Subtyping. ECOOP 2000 : 83-107 13 Kathleen Fisher, John H. Reppy , Jon G. Riecke : A Calculus for Compiling and Linking Classes. ESOP 2000 : 135-149 12 Corinna Cortes , Kathleen Fisher, Daryl Pregibon , Anne Rogers : Hancock: a language for extracting signatures from data streams. KDD 2000 : 9-17 11 Paolo Di Blasio , Kathleen Fisher, Carolyn L. Talcott : A Control-Flow Analysis for a Calculus of Concurrent Objects. TSE 26 (7): 617-634 (2000) 10 Dan Bonachea , Kathleen Fisher, Anne Rogers , Frederick Smith : Hancock: a language for processing very large-scale data. DSL 1999 : 163-176 9 Kathleen Fisher, John H. Reppy : The Design of a Class Mechanism for Moby. PLDI 1999 : 37-49 8 Viviana Bono , Kathleen Fisher: An Imperative, First-Order Calculus with Object Extension. ECOOP 1998 : 462-497 7 Kathleen Fisher, John C. Mitchell : On the Relationship Between Classes, Objects, and Data Abstraction. TAPOS 4 (1): 3-25 (1998) 6 Paolo Di Blasio , Kathleen Fisher: A Calculus for Concurrent Objects. CONCUR 1996 : 655-670 5 Kathleen Fisher, John C. Mitchell : A Delegation-based Object Calculus with Subtying. FCT 1995 : 42-61 4 Kathleen Fisher, John C. Mitchell : The Development of Type Systems for Object-Oriented Languages. TAPOS 1 (3): 189-220 (1995) 3 Kathleen Fisher, John C. Mitchell : Notes on Typed Object-Oriented Programming. TACS 1994 : 844-885 2 Kathleen Fisher, Furio Honsell , John C. Mitchell : A lambda Calculus of Objects and Method Specialization. Nordic Journal of Computing 1 (1): 3-37 (1994) 1 John Mitchell , Furio Honsell , Kathleen Fisher: A lambda calculus of objects and method specialization. LICS 1993 : 26-38  DiSC'02 © 2003 Association for Computing Machinery |
