Matthias Felleisen Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2010
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Felleisen: Adding types to untyped languages. TLDI 2010: 1-2
2009
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. Stephen Strickland, Sam Tobin-Hochstadt, Matthias Felleisen: Practical Variable-Arity Polymorphism. ESOP 2009: 32-46
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi: A functional I/O system or, fun for freshman kids. ICFP 2009: 47-58
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarl Eastlund, Matthias Felleisen: Toward a Practical Module System for ACL2. PADL 2009: 46-60
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarl Eastlund, Matthias Felleisen: Making induction manifest in modular ACL2. PPDP 2009: 105-116
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristos Dimoulas, Riccardo Pucella, Matthias Felleisen: Future contracts. PPDP 2009: 195-206
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Felleisen, Shriram Krishnamurthi: Viewpoint - Why computer science doesn't matter. Commun. ACM 52(7): 37-40 (2009)
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXavier Leroy, Matthias Felleisen: Editorial. J. Funct. Program. 19(5): 489-490 (2009)
2008
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSam Tobin-Hochstadt, Matthias Felleisen: The design and implementation of typed scheme. POPL 2008: 395-406
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Felleisen: Why teach programming languages in this day and age and how to go about it. SIGPLAN Notices 43(11): 59-61 (2008)
2007
84no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Hofmann, Matthias Felleisen: Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2007, Nice, France, January 17-19, 2007 ACM 2007
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRyan Culpepper, Matthias Felleisen: Debugging macros. GPCE 2007: 135-144
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthew Flatt, Gang Yu, Robert Bruce Findler, Matthias Felleisen: Adding delimited and composable control to a production programming environment. ICFP 2007: 165-176
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShriram Krishnamurthi, Peter Walton Hopkins, Jay A. McCarthy, Paul T. Graunke, Greg Pettyjohn, Matthias Felleisen: Implementation and use of the PLT scheme Web server. Higher-Order and Symbolic Computation 20(4): 431-460 (2007)
2006
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDale Vaillancourt, Rex L. Page, Matthias Felleisen: ACL2 in DrScheme. ACL2 2006: 107-116
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthew Flatt, Robert Bruce Findler, Matthias Felleisen: Scheme with Classes, Mixins, and Traits. APLAS 2006: 270-289
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSam Tobin-Hochstadt, Matthias Felleisen: Interlanguage migration: from scripts to programs. OOPSLA Companion 2006: 964-974
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Meunier, Robert Bruce Findler, Matthias Felleisen: Modular set-based analysis from contracts. POPL 2006: 218-231
2005
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGreg Pettyjohn, John Clements, Joe Marshall, Shriram Krishnamurthi, Matthias Felleisen: Continuations from generalized stack inspection. ICFP 2005: 216-227
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Cobbe, Matthias Felleisen: Environmental acquisition revisited. POPL 2005: 14-25
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Felleisen, Julia L. Lawall, Manuel Serrano, Olin Shivers: Editorial. Higher-Order and Symbolic Computation 18(3-4): 243-244 (2005)
2004
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Felleisen: Functional Objects. ECOOP 2004: 267
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Bruce Findler, Matthew Flatt, Matthias Felleisen: Semantic Casts: Contracts and Structural Subtyping in a Nominal World. ECOOP 2004: 364-388
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRyan Culpepper, Matthias Felleisen: Taming Macros. GPCE 2004: 225-243
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTudor Antoniu, Paul A. Steckler, Shriram Krishnamurthi, Erich Neuwirth, Matthias Felleisen: Validating the Unit Correctness of Spreadsheet Programs. ICSE 2004: 439-448
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacob Matthews, Robert Bruce Findler, Matthew Flatt, Matthias Felleisen: A Visual Environment for Developing Context-Sensitive Term Rewriting Systems. RTA 2004: 301-311
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Clements, Matthias Felleisen: A tail-recursive machine with stack inspection. ACM Trans. Program. Lang. Syst. 26(6): 1029-1052 (2004)
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacob Matthews, Robert Bruce Findler, Paul T. Graunke, Shriram Krishnamurthi, Matthias Felleisen: Automatically Restructuring Programs for the Web. Autom. Softw. Eng. 11(4): 337-364 (2004)
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi: The structure and interpretation of the computer science curriculum. J. Funct. Program. 14(4): 365-378 (2004)
2003
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Clements, Matthias Felleisen: A Tail-Recursive Semantics for Stack Inspections. ESOP 2003: 22-37
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul T. Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen: Modeling Web Interactions. ESOP 2003: 238-252
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Felleisen: Welcome to the Educational Pearls Column. J. Funct. Program. 13(5): 835-838 (2003)
2002
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Felleisen: Developing Interactive Web Programs. Advanced Functional Programming 2002: 100-128
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Bruce Findler, Matthias Felleisen: Contracts for higher-order functions. ICFP 2002: 48-59
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Logan, Matthias Felleisen, David N. Blank-Edelman: Environmental Acquisition in Network Management. LISA 2002: 175-184
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Felleisen: From POPL to the classroom and back. POPL 2002: 126-127
58no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Bruce Findler, John Clements, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Paul Steckler, Matthias Felleisen: DrScheme: a programming environment for Scheme. J. Funct. Program. 12(2): 159-182 (2002)
2001
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul T. Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen: Automatically Restructuring Programs for the We. ASE 2001: 211-222
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Bruce Findler, Mario Latendresse, Matthias Felleisen: Behavioral contracts and behavioral subtyping. ESEC / SIGSOFT FSE 2001: 229-236
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul T. Graunke, Shriram Krishnamurthi, Steve Van Der Hoeven, Matthias Felleisen: Programming the Web with High-Level Programming Languages. ESOP 2001: 122-136
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Clements, Matthew Flatt, Matthias Felleisen: Modeling an Algebraic Stepper. ESOP 2001: 320-334
53no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Bruce Findler, Matthias Felleisen: Contract Soundness for Object-Oriented Languages. OOPSLA 2001: 1-15
52no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRon Cytron, Matthias Felleisen: SIGPLAN Response to the Ironman Draft of the Computing Curricula 2001. SIGPLAN Notices 36(4): 3-4 (2001)
1999
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Felleisen, Robert Cartwright: Safety as a Metric. CSEE&T 1999: 129-131
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShriram Krishnamurthi, Yan-David Erlich, Matthias Felleisen: Expressing Structural Properties as Language Constructs. ESOP 1999: 258-272
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthew Flatt, Shriram Krishnamurthi, Matthias Felleisen: A Programmer's Reduction Semantics for Classes and Mixins. Formal Syntax and Semantics of Java 1999: 241-269
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShriram Krishnamurthi, Matthias Felleisen, Bruce F. Duba: From Macros to Reusable Generative Programming. GCSE 1999: 105-120
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthew Flatt, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen: Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine). ICFP 1999: 138-147
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCormac Flanagan, Matthias Felleisen: Componential Set-Based Analysis. ACM Trans. Program. Lang. Syst. 21(2): 370-416 (1999)
45no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCormac Flanagan, Matthias Felleisen: The Semantics of Future and an Application. J. Funct. Program. 9(1): 1-31 (1999)
1998
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShriram Krishnamurthi, Matthias Felleisen, Daniel P. Friedman: Synthesizing Object-Oriented and Functional Design to Promote Re-Use. ECOOP 1998: 91-113
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthew Flatt, Matthias Felleisen: Units: Cool Modules for HOT Languages. PLDI 1998: 236-248
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthew Flatt, Shriram Krishnamurthi, Matthias Felleisen: Classes and Mixins. POPL 1998: 171-183
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShriram Krishnamurthi, Matthias Felleisen: Toward a Formal Theory of Extensible Software. SIGSOFT FSE 1998: 88-98
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi: The DrScheme Project: An Overview. SIGPLAN Notices 33(6): 17-23 (1998)
1997
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCormac Flanagan, Matthias Felleisen: Componential Set-Based Analysis. PLDI 1997: 235-248
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Bruce Findler, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen: DrScheme: A Pedagogic Programming Environment for Scheme. PLILP 1997: 369-388
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthew Flatt, Matthias Felleisen: Program Units as Higher-Order Modules. Electr. Notes Theor. Comput. Sci. 10: (1997)
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZena M. Ariola, Matthias Felleisen: The Call-By-Need lambda Calculus. J. Funct. Program. 7(3): 265-301 (1997)
1996
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Stephanie Weirich, Matthias Felleisen: Static Debugging: Browsing the Web of Program Invariants. PLDI 1996: 23-32
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Cartwright, Matthias Felleisen: Program Verification Through Soft Typing. ACM Comput. Surv. 28(2): 349-351 (1996)
1995
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJ. Gregory Morrisett, Matthias Felleisen, Robert Harper: Abstract Models of Memory Management. FPCA 1995: 66-77
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCormac Flanagan, Matthias Felleisen: The Semantics of Future and Its Use in Program Optimizations. POPL 1995: 209-220
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZena M. Ariola, Matthias Felleisen, John Maraist, Martin Odersky, Philip Wadler: The Call-by-Need Lambda Calculus. POPL 1995: 233-246
1994
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmr Sabry, Matthias Felleisen: Is Continuation-Passing Useful for Data Flow Analysis? PLDI 1994: 1-12
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Cartwright, Matthias Felleisen: Extensible Denotational Language Specifications. TACS 1994: 244-272
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Cartwright, Pierre-Louis Curien, Matthias Felleisen: Fully Abstract Semantics for Observably Sequential Languages Inf. Comput. 111(2): 297-401 (1994)
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew K. Wright, Matthias Felleisen: A Syntactic Approach to Type Soundness Inf. Comput. 115(1): 38-94 (1994)
1993
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen: The essence of compiling with continuations (with retrospective) Best of PLDI 1993: 502-514
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen: The Essence of Compiling with Continuations. PLDI 1993: 237-247
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen Weeks, Matthias Felleisen: On the Orthogonality of Assignments and Procedures in Algol. POPL 1993: 57-70
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmr Sabry, Matthias Felleisen: Reasoning about Programs in Continuation-Passing Style. Lisp and Symbolic Computation 6(3-4): 289-360 (1993)
1992
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmr Sabry, Matthias Felleisen: Reasoning About Programs in Continuation-Passing Style. LISP and Functional Programming 1992: 288-298
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Cartwright, Matthias Felleisen: Observable Sequentiality and Full Abstraction. POPL 1992: 328-342
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRamarao Kanneganti, Robert Cartwright, Matthias Felleisen: SPCF: Its Model, Calculus, and Computational Power (Preliminary Version). REX Workshop 1992: 318-347
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Felleisen, Robert Hieb: The Revised Report on the Syntactic Theories of Sequential Control and State. Theor. Comput. Sci. 103(2): 235-271 (1992)
1991
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDorai Sitaram, Matthias Felleisen: Modeling Continuations without Continuations. POPL 1991: 185-196
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErik Crank, Matthias Felleisen: Parameter-Passing and the Lambda Calculus. POPL 1991: 233-244
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Felleisen: On the Expressive Power of Programming Languages. Sci. Comput. Program. 17(1-3): 35-75 (1991)
1990
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Felleisen: On the Expressive Power of Programming Languages. ESOP 1990: 134-151
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDorai Sitaram, Matthias Felleisen: Reasoning with Continuations II: Full Abstraction for Models of Control. LISP and Functional Programming 1990: 161-175
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDorai Sitaram, Matthias Felleisen: Control Delimiters and Their Hierarchies. Lisp and Symbolic Computation 3(1): 67-99 (1990)
1989
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Cartwright, Matthias Felleisen: The Semantics of Program Dependence. PLDI 1989: 13-27
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Felleisen, Daniel P. Friedman: A Syntactic Theory of Sequential State. Theor. Comput. Sci. 69(3): 243-287 (1989)
1988
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Felleisen, Mitchell Wand, Daniel P. Friedman, Bruce F. Duba: Abstract Continuations: A Mathematical Semantics for Handling Full Jumps. LISP and Functional Programming 1988: 52-62
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Felleisen: lambda-V-CS: An Extended lambda-Calculus for Scheme. LISP and Functional Programming 1988: 72-85
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Felleisen: The Theory and Practice of First-Class Prompts. POPL 1988: 180-190
1987
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Felleisen, Daniel P. Friedman: A Reduction Semantics for Imperative Higher-Order Languages. PARLE (2) 1987: 206-223
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Felleisen, Daniel P. Friedman: A Calculus for Assignments in Higher-Order Languages. POPL 1987: 314-325
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Felleisen: Reflections on Landins's J-Operator: A Partly Historical Note. Comput. Lang. 12(3/4): 197-207 (1987)
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Felleisen, Daniel P. Friedman, Eugene E. Kohlbecker, Bruce F. Duba: A Syntactic Theory of Sequential Control. Theor. Comput. Sci. 52: 205-237 (1987)
1986
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Felleisen, Daniel P. Friedman, Eugene E. Kohlbecker, Bruce F. Duba: Reasoning with Continuations LICS 1986: 131-141
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEugene E. Kohlbecker, Daniel P. Friedman, Matthias Felleisen, Bruce F. Duba: Hygienic Macro Expansion. LISP and Functional Programming 1986: 151-161
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Felleisen, Daniel P. Friedman: A Closer Look at Export and Import Statements. Comput. Lang. 11(1): 29-37 (1986)

Coauthor Index

1Tudor Antoniu [70]
2Zena M. Ariola [31] [36]
3David N. Blank-Edelman [60]
4Robert Cartwright [12] [20] [21] [28] [29] [34] [51]
5John Clements [54] [58] [65] [68] [76]
6Richard Cobbe [75]
7Erik Crank [17]
8Ryan Culpepper [71] [83]
9Pierre-Louis Curien [28]
10Ron Cytron (Ron K. Cytron) [52]
11Christos Dimoulas [89]
12Bruce F. Duba [2] [3] [4] [10] [25] [26] [48]
13Carl Eastlund [90] [91]
14Yan-David Erlich [50]
15Robert Bruce Findler [38] [40] [47] [53] [56] [57] [58] [61] [64] [66] [67] [69] [72] [77] [79] [82] [92]
16Cormac Flanagan [25] [26] [32] [35] [38] [39] [45] [46] [58]
17Matthew Flatt [35] [37] [38] [40] [42] [43] [47] [49] [54] [58] [66] [69] [72] [79] [82] [92]
18Daniel P. Friedman [1] [2] [3] [4] [6] [7] [10] [11] [44]
19Paul T. Graunke [55] [57] [64] [67] [81]
20Robert Harper [33]
21Robert Hieb [19]
22Steve Van Der Hoeven [55]
23Martin Hofmann [84]
24Peter Walton Hopkins [81]
25Ramarao Kanneganti [20]
26Eugene E. Kohlbecker [2] [3] [4]
27Shriram Krishnamurthi [35] [38] [40] [41] [42] [44] [47] [48] [49] [50] [55] [57] [58] [64] [66] [67] [70] [76] [81] [88] [92]
28Mario Latendresse [56]
29Julia L. Lawall [74]
30Xavier Leroy [87]
31Mark Logan [60]
32John Maraist [31]
33Joe Marshall [76]
34Jacob Matthews [67] [69]
35Jay A. McCarthy [81]
36Philippe Meunier [77]
37J. Gregory Morrisett (Greg Morrisett) [33]
38Erich Neuwirth [70]
39Martin Odersky [31]
40Rex L. Page [80]
41Greg Pettyjohn [76] [81]
42Riccardo Pucella [89]
43Amr Sabry [22] [23] [25] [26] [30]
44Manuel Serrano [74]
45Olin Shivers [74]
46Dorai Sitaram [13] [14] [18]
47Paul Steckler [58]
48Paul A. Steckler [70]
49T. Stephen Strickland [93]
50Sam Tobin-Hochstadt [78] [86] [93]
51Dale Vaillancourt [80]
52Philip Wadler [31]
53Mitchell Wand [10]
54Stephen Weeks [24]
55Stephanie Weirich [35]
56Andrew K. Wright [27]
57Gang Yu [82]

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)