dblp.uni-trier.dewww.uni-trier.de

Kathleen Fisher

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
32EEMary F. Fernández, Kathleen Fisher, J. Nathan Foster, Michael Greenberg, Yitzhak Mandelbaum: A Generic Programming Toolkit for PADS/ML: First-Class Upgrades for Third-Party Developers. PADL 2008: 133-149
31EEKathleen Fisher, David Walker, Kenny Qili Zhu, Peter White: From dirt to shovels: fully automatic tool generation from ad hoc data. POPL 2008: 421-434
2007
30EEYitzhak Mandelbaum, Kathleen Fisher, David Walker, Mary F. Fernández, Artem Gleyzer: PADS/ML: a functional data description language. POPL 2007: 77-83
29EEKathleen Fisher: Typing ad hoc data. TLDI 2007: 39-40
2006
28 Mary F. Fernández, Kathleen Fisher, Robert Gruber, Yitzhak Mandelbaum: PADX: Querying Large-scale Ad Hoc Data with XQuery. PLAN-X 2006: 24-35
27 Mark Daly, Mary F. Fernández, Kathleen Fisher, Yitzhak Mandelbaum, David Walker: LAUNCHPADS: A System for Processing Ad Hoc Data. PLAN-X 2006: 90-91
26EEKathleen Fisher, Yitzhak Mandelbaum, David Walker: The next 700 data description languages. POPL 2006: 2-15
25EEMark Daly, Yitzhak Mandelbaum, David Walker, Mary F. Fernández, Kathleen Fisher, Robert Gruber, Xuan Zheng: PADS: an end-to-end system for processing ad hoc data. SIGMOD Conference 2006: 727-729
24EEKathleen Fisher: Introduction. J. Funct. Program. 16(4-5): 373-374 (2006)
2005
23EENorman Ramsey, Kathleen Fisher, Paul Govereau: An expressive language of signatures. ICFP 2005: 27-40
22EEKathleen Fisher, Robert Gruber: PADS: a domain-specific language for processing ad hoc data. PLDI 2005: 295-304
2004
21 Chris Okasaki, Kathleen Fisher: Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, ICFP 2004, Snow Bird, UT, USA, September 19-21, 2004 ACM 2004
20EECorinna Cortes, Kathleen Fisher, Daryl Pregibon, Anne Rogers, Frederick Smith: Hancock: A language for analyzing transactional data streams. ACM Trans. Program. Lang. Syst. 26(2): 301-338 (2004)
19EEKathleen Fisher, Riccardo Pucella, John H. Reppy: A Framework for Interoperability CoRR cs.PL/0405084: (2004)
2002
18EEKathleen Fisher, Benjamin C. Pierce: Guest editorial. ACM Trans. Program. Lang. Syst. 24(2): 111 (2002)
17EEKathleen Fisher, John H. Reppy: Inheritance-Based Subtyping. Inf. Comput. 177(1): 28-55 (2002)
2001
16EEKathleen Fisher, Colin R. Goodall, Karin Högstedt, Anne Rogers: An Application-Specific Database. DBPL 2001: 213-227
15EEKathleen Fisher, Riccardo Pucella, John H. Reppy: A framework for interoperability. Electr. Notes Theor. Comput. Sci. 59(1): (2001)
2000
14EEKathleen Fisher, John H. Reppy: Extending Moby with Inheritance-Based Subtyping. ECOOP 2000: 83-107
13EEKathleen Fisher, John H. Reppy, Jon G. Riecke: A Calculus for Compiling and Linking Classes. ESOP 2000: 135-149
12EECorinna Cortes, Kathleen Fisher, Daryl Pregibon, Anne Rogers: Hancock: a language for extracting signatures from data streams. KDD 2000: 9-17
11EEPaolo Di Blasio, Kathleen Fisher, Carolyn L. Talcott: A Control-Flow Analysis for a Calculus of Concurrent Objects. IEEE Trans. Software Eng. 26(7): 617-634 (2000)
1999
10EEDan Bonachea, Kathleen Fisher, Anne Rogers, Frederick Smith: Hancock: a language for processing very large-scale data. DSL 1999: 163-176
9EEKathleen Fisher, John H. Reppy: The Design of a Class Mechanism for Moby. PLDI 1999: 37-49
1998
8EEViviana 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)
1996
6 Paolo Di Blasio, Kathleen Fisher: A Calculus for Concurrent Objects. CONCUR 1996: 655-670
1995
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)
1994
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. Nord. J. Comput. 1(1): 3-37 (1994)
1993
1 John C. Mitchell, Furio Honsell, Kathleen Fisher: A lambda calculus of objects and method specialization LICS 1993: 26-38

Coauthor Index

1Paolo Di Blasio [6] [11]
2Dan Bonachea [10]
3Viviana Bono [8]
4Corinna Cortes [12] [20]
5Mark Daly [25] [27]
6Mary F. Fernández (Mary F. Fernandez) [25] [27] [28] [30] [32]
7J. Nathan Foster [32]
8Artem Gleyzer [30]
9Colin R. Goodall [16]
10Paul Govereau [23]
11Michael Greenberg [32]
12Robert Gruber [22] [25] [28]
13Karin Högstedt [16]
14Furio Honsell [1] [2]
15Yitzhak Mandelbaum [25] [26] [27] [28] [30] [32]
16John C. Mitchell [1] [2] [3] [4] [5] [7]
17Chris Okasaki [21]
18Benjamin C. Pierce [18]
19Daryl Pregibon [12] [20]
20Riccardo Pucella [15] [19]
21Norman Ramsey [23]
22John H. Reppy [9] [13] [14] [15] [17] [19]
23Jon G. Riecke [13]
24Anne Rogers [10] [12] [16] [20]
25Frederick Smith [10] [20]
26Carolyn L. Talcott [11]
27David Walker [25] [26] [27] [30] [31]
28Peter White [31]
29Xuan Zheng [25]
30Kenny Qili Zhu [31]

Colors in the list of coauthors

Copyright © Thu Jun 5 01:14:00 2008 by Michael Ley (ley@uni-trier.de)