Olivier Danvy

	2011
148		Manuel M. T. Chakravarty, Zhenjiang Hu, Olivier Danvy: Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, ICFP 2011, Tokyo, Japan, September 19-21, 2011 ACM 2011
147		Olivier Danvy, Chung-chieh Shan: Proceedings IFIP Working Conference on Domain-Specific Languages DSL 2011
146		Gul Agha, Olivier Danvy, José Meseguer: Formal Modeling: Actors, Open Systems, Biological Systems - Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday Springer 2011
145		Olivier Danvy: Pragmatics for formal semantics. GPCE 2011: 93-94
144		Olivier Danvy, Jacob Johannsen, Ian Zerny: A walk in the semantic park. PEPM 2011: 1-12
143		Olivier Danvy, Jan Midtgaard: Abstracting abstract machines: technical perspective. Commun. ACM 54(9): 100 (2011)
	2010
142		Olivier Danvy, Kevin Millikin, Johan Munk, Ian Zerny: Defunctionalized Interpreters for Call-by-Need Evaluation. FLOPS 2010: 240-256
141		Olivier Danvy, Ian Zerny: Three Syntactic Theories for Combinatory Graph Reduction. LOPSTR 2010: 1-20
140		Olivier Danvy, Jacob Johannsen: Inter-deriving semantic artifacts for object-oriented programming. J. Comput. Syst. Sci. 76(5): 302-323 (2010)
	2009
139		Olivier Danvy, Chung-chieh Shan, Ian Zerny: J Is for JavaScript: A Direct-Style Correspondence between Algol-Like Languages and JavaScript Using First-Class Continuations. DSL 2009: 1-19
138		Olivier Danvy: Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines. Semantics and Algebraic Specification 2009: 162-185
137		Malgorzata Biernacka, Olivier Danvy: Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines. Semantics and Algebraic Specification 2009: 186-206
136		Olivier Danvy, Julian A. Padget: Editorial. Higher-Order and Symbolic Computation 22(1): 1 (2009)
135		Olivier Danvy, Carolyn L. Talcott: Editorial. Higher-Order and Symbolic Computation 22(2): 113 (2009)
134		Olivier Danvy: Peter J. Landin (1930-2009). Higher-Order and Symbolic Computation 22(2): 191-195 (2009)
133		Olivier Danvy, Carolyn L. Talcott: Editorial. Higher-Order and Symbolic Computation 22(3): 197 (2009)
132		Olivier Danvy, Carolyn L. Talcott: Editorial. Higher-Order and Symbolic Computation 22(4): 293 (2009)
131		Olivier Danvy, Kevin Millikin: Refunctionalization at work. Sci. Comput. Program. 74(8): 534-549 (2009)
	2008
130		Olivier Danvy: From Reduction-Based to Reduction-Free Normalization. Advanced Functional Programming 2008: 66-164
129		Olivier Danvy: Defunctionalized interpreters for programming languages. ICFP 2008: 131-142
128		Olivier Danvy, Jacob Johannsen: Inter-deriving Semantic Artifacts for Object-Oriented Programming. WoLLIC 2008: 1-16
127		Olivier Danvy, Kevin Millikin: A Rational Deconstruction of Landin's SECD Machine with the J Operator CoRR abs/0811.3231: (2008)
126		Olivier Danvy, R. Kent Dybvig, Julia L. Lawall, Peter Thiemann: Editorial. Higher-Order and Symbolic Computation 21(3): 237-238 (2008)
125		Olivier Danvy, Ian A. Mason: Editorial. Higher-Order and Symbolic Computation 21(4): 359 (2008)
124		Olivier Danvy, Kevin Millikin: On the equivalence between small-step and big-step abstract machines: a simple application of lightweight fusion. Inf. Process. Lett. 106(3): 100-109 (2008)
123		Olivier Danvy, Kevin Millikin: A Rational Deconstruction of Landin's SECD Machine with the J Operator. Logical Methods in Computer Science 4(4): (2008)
	2007
122		Olivier Danvy, J. Michael Spivey: On Barron and Strachey's cartesian product function. ICFP 2007: 41-46
121		Malgorzata Biernacka, Olivier Danvy: A concrete framework for environment machines. ACM Trans. Comput. Log. 9(1): (2007)
120		Olivier Danvy: Editorial. Higher-Order and Symbolic Computation 20(3): 197-198 (2007)
119		Olivier Danvy, Hayo Thielecke: Editorial. Higher-Order and Symbolic Computation 20(4): 337-338 (2007)
118		Olivier Danvy, Kevin Millikin, Lasse R. Nielsen: On one-pass CPS transformations. J. Funct. Program. 17(6): 793-812 (2007)
117		Olivier Danvy, Peter W. O'Hearn, Philip Wadler: Preface. Theor. Comput. Sci. 375(1-3): 1-2 (2007)
116		Malgorzata Biernacka, Olivier Danvy: A syntactic correspondence between context-sensitive calculi and abstract machines. Theor. Comput. Sci. 375(1-3): 76-108 (2007)
	2006
115		Olivier Danvy: Refunctionalization at Work. MPC 2006: 4
114		Mads Sig Ager, Olivier Danvy, Henning Korsholm Rohde: Fast partial evaluation of pattern matching in strings. ACM Trans. Program. Lang. Syst. 28(4): 696-714 (2006)
113		Malgorzata Biernacka, Olivier Danvy, Kristian Støvring: Program Extraction From Proofs of Weak Head Normalization. Electr. Notes Theor. Comput. Sci. 155: 169-189 (2006)
112		Olivier Danvy, Oege de Moor, Julian A. Padget, Peter Thiemann: Editorial. Higher-Order and Symbolic Computation 19(1): 5 (2006)
111		Olivier Danvy, Andrzej Filinski, Jean-Louis Giavitto, Andy King, Pierre-Etienne Moreau, Carolyn L. Talcott: Editorial. Higher-Order and Symbolic Computation 19(4): 343-344 (2006)
110		Olivier Danvy, Henning Korsholm Rohde: On obtaining the Boyer-Moore string-matching algorithm by partial evaluation. Inf. Process. Lett. 99(4): 158-162 (2006)
109		Dariusz Biernacki, Olivier Danvy: Theoretical Pearl: A simple proof of a folklore theorem about delimited control. J. Funct. Program. 16(3): 269-280 (2006)
108		Dariusz Biernacki, Olivier Danvy, Chung-chieh Shan: On the static and dynamic extents of delimited continuations. Sci. Comput. Program. 60(3): 274-297 (2006)
	2005
107		Olivier Danvy, Benjamin C. Pierce: Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, September 26-28, 2005 ACM 2005
106		Olivier Danvy, Kevin Millikin: A Rational Deconstruction of Landin's J Operator. IFL 2005: 55-73
105		Malgorzata Biernacka, Dariusz Biernacki, Olivier Danvy: An Operational Foundation for Delimited Continuations in the CPS Hierarchy CoRR abs/cs/0508048: (2005)
104		Olivier Danvy: From Reduction-based to Reduction-free Normalization. Electr. Notes Theor. Comput. Sci. 124(2): 79-100 (2005)
103		Olivier Danvy, Mayer Goldberg: There and Back Again. Fundam. Inform. 66(4): 397-413 (2005)
102		Olivier Danvy, Fritz Henglein, Harry G. Mairson, Alberto Pettorossi: Editorial. Higher-Order and Symbolic Computation 18(1-2): 5-6 (2005)
101		Olivier Danvy, Lasse R. Nielsen: CPS transformation of beta-redexes. Inf. Process. Lett. 94(5): 217-224 (2005)
100		Dariusz Biernacki, Olivier Danvy, Chung-chieh Shan: On the dynamic extent of delimited continuations. Inf. Process. Lett. 96(1): 7-17 (2005)
99		Malgorzata Biernacka, Dariusz Biernacki, Olivier Danvy: An Operational Foundation for Delimited Continuations in the CPS Hierarchy. Logical Methods in Computer Science 1(2): (2005)
98		Mads Sig Ager, Olivier Danvy, Jan Midtgaard: A functional correspondence between monadic evaluators and abstract machines for languages with computational effects. Theor. Comput. Sci. 342(1): 149-172 (2005)
	2004
97		Olivier Danvy: A Rational Deconstruction of Landin's SECD Machine. IFL 2004: 52-71
96		Wei-Ngan Chin, Olivier Danvy, Peter Thiemann: Editorial: Theme Issue on Partial Evaluation and Semantics-Based Program Manipulation. Higher-Order and Symbolic Computation 17(1-2): 5-6 (2004)
95		David A. Basin, Olivier Danvy, Robert Harper: Editorial. Higher-Order and Symbolic Computation 17(3): 171 (2004)
94		Olivier Danvy, Ian A. Mason: Editorial. Higher-Order and Symbolic Computation 17(4): 275 (2004)
93		Mads Sig Ager, Olivier Danvy, Jan Midtgaard: A functional correspondence between call-by-need evaluators and lazy abstract machines. Inf. Process. Lett. 90(5): 223-232 (2004)
92		Olivier Danvy, Ulrik Pagh Schultz: Lambda-Lifting in Quadratic Time. Journal of Functional and Logic Programming 2004: (2004)
	2003
91		Olivier Danvy: A New One-Pass Transformation into Monadic Normal Form. CC 2003: 77-89
90		Olivier Danvy, Pablo E. Martínez López: Tagging, Encoding, and Jones Optimality. ESOP 2003: 335-347
89		Olivier Danvy: A Journey from Interpreters to Compilers and Virtual Machines. GPCE 2003: 117
88		Dariusz Biernacki, Olivier Danvy: From Interpreter to Logic Engine by Defunctionalization. LOPSTR 2003: 143-159
87		Mads Sig Ager, Olivier Danvy, Henning Korsholm Rohde: Fast partial evaluation of pattern matching in strings. PEPM 2003: 3-9
86		Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard: A functional correspondence between evaluators and abstract machines. PPDP 2003: 8-19
85		Olivier Danvy, Fritz Henglein, Harry G. Mairson, Alberto Pettorossi: Editorial: Special Issue Dedicated to Bob Paige. Higher-Order and Symbolic Computation 16(1-2): 5-6 (2003)
84		Daniel Damian, Olivier Danvy: Syntactic accidents in program analysis: on the impact of the CPS transformation. J. Funct. Program. 13(5): 867-904 (2003)
83		Daniel Damian, Olivier Danvy: CPS transformation of flow information, Part II: administrative reductions. J. Funct. Program. 13(5): 925-933 (2003)
82		Olivier Danvy, Lasse R. Nielsen: A first-order one-pass CPS transformation. Theor. Comput. Sci. 308(1-3): 239-257 (2003)
	2002
81		Mads Sig Ager, Olivier Danvy, Henning Korsholm Rohde: On obtaining Knuth, Morris, and Pratt's string matcher by partial evaluation. ASIA-PEPM 2002: 32-46
80		Olivier Danvy, Ulrik Pagh Schultz: Lambda-Lifting in Quadratic Time. FLOPS 2002: 134-151
79		Olivier Danvy, Lasse R. Nielsen: A First-Order One-Pass CPS Transformation. FoSSaCS 2002: 98-113
78		Vincent Balat, Olivier Danvy: Memoization in Type-Directed Partial Evaluation. GPCE 2002: 78-92
77		Olivier Danvy, Mayer Goldberg: There and back again. ICFP 2002: 230-234
76		Mads Sig Ager, Olivier Danvy, Mayer Goldberg: A Symmetric Approach to Compilation and Decompilation. The Essence of Computation 2002: 296-331
75		Torben Amtoft, Charles Consel, Olivier Danvy, Karoline Malmkjær: The Abstraction and Instantiation of String-Matching Programs. The Essence of Computation 2002: 332-357
74		Olivier Danvy, Takayasu Ito, Carolyn L. Talcott: Editorial. Higher-Order and Symbolic Computation 15(1): 5 (2002)
73		Olivier Danvy, Amr Sabry: Editorial. Higher-Order and Symbolic Computation 15(2-3): 139-140 (2002)
72		Olivier Danvy, Carolyn L. Talcott: Editorial. Higher-Order and Symbolic Computation 15(4): 271 (2002)
71		Daniel Damian, Olivier Danvy: A Simple CPS Transformation of Control-Flow Information. Logic Journal of the IGPL 10(5): 501-515 (2002)
	2001
70		Olivier Danvy, Andrzej Filinski: Programs as Data Objects, Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings Springer 2001
69		Olivier Danvy, Morten Rhiger: A Simple Take on Typed Abstract Syntax in Haskell-like Languages. FLOPS 2001: 343-358
68		Olivier Danvy, Lasse R. Nielsen: A Higher-Order Colon Translation. FLOPS 2001: 78-91
67		Olivier Danvy, Lasse R. Nielsen: Defunctionalization at Work. PPDP 2001: 162-174
66		Olivier Danvy, Bernd Grobauer, Morten Rhiger: A Unifying Approach to Goal-Directed Evaluation. SAIG 2001: 108-125
65		Daniel Damian, Olivier Danvy: Static Transition Compression. SAIG 2001: 92-107
64		Olivier Danvy: Many Happy Returns. TLCA 2001: 1
63		Olivier Danvy, Lasse R. Nielsen: Syntactic Theories in Practice. Electr. Notes Theor. Comput. Sci. 59(4): 358-374 (2001)
62		Olivier Danvy, Carolyn L. Talcott: Editorial. Higher-Order and Symbolic Computation 14(1): 5 (2001)
61		Olivier Danvy, Julia L. Lawall: Editorial. Higher-Order and Symbolic Computation 14(2-3): 99-100 (2001)
60		Olivier Danvy, Takayasu Ito, Carolyn L. Talcott: Editorial. Higher-Order and Symbolic Computation 14(4): 307 (2001)
59		Olivier Danvy, Morten Rhiger, Kristoffer Høgsbro Rose: Normalization by evaluation with typed abstract syntax. J. Funct. Program. 11(6): 673-680 (2001)
58		Olivier Danvy, Bernd Grobauer, Morten Rhiger: A Unifying Approach to Goal-directed Evaluation. New Generation Comput. 20(1): 53-74 (2001)
	2000
57		Olivier Danvy: Formalizing Implementation Strategies for First-Class Continuations. ESOP 2000: 88-103
56		Daniel Damian, Olivier Danvy: Syntactic accidents in program analysis: on the impact of the CPS transformation. ICFP 2000: 209-220
55		Olivier Danvy, Carolyn L. Talcott: Editorial. Higher-Order and Symbolic Computation 13(1/2): 5-6 (2000)
54		Olivier Danvy, Carolyn L. Talcott: Editorial. Higher-Order and Symbolic Computation 13(3): 159-160 (2000)
53		Olivier Danvy, Carolyn L. Talcott: Editorial. Higher-Order and Symbolic Computation 13(4): 287-288 (2000)
52		Olivier Danvy, Ulrik Pagh Schultz: Lambda-dropping: transforming recursive equations into programs with block structure. Theor. Comput. Sci. 248(1-2): 243-287 (2000)
	1999
51		Olivier Danvy: Proceedings of the 1999 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, San Antonio, Texas, USA, January 22-23, 1999. Technical report BRICS-NS-99-1 University of Aarhus 1999
50		Olivier Danvy, Zhe Yang: An Operational Investigation of the CPS Hierarchy. ESOP 1999: 224-242
49		Olivier Danvy: An Extensional Characterization of Lambda-Lifting and Lambda-Dropping. Fuji International Symposium on Functional and Logic Programming 1999: 241-250
48		Olivier Danvy, Belmina Dzafic, Frank Pfenning: On proving syntactic properties of CPS programs. Electr. Notes Theor. Comput. Sci. 26: 21-33 (1999)
47		Olivier Danvy, Carolyn L. Talcott: Editorial. Higher-Order and Symbolic Computation 12(1): 5 (1999)
46		Olivier Danvy, Carolyn L. Talcott: Introduction. Higher-Order and Symbolic Computation 12(2): 123-124 (1999)
45		Olivier Danvy, Carolyn L. Talcott: Editorial. Higher-Order and Symbolic Computation 12(3): 219 (1999)
44		Olivier Danvy, Carolyn L. Talcott: Editorial. Higher-Order and Symbolic Computation 12(4): 307-308 (1999)
	1998
43		Olivier Danvy: Online Type-Directed Partial Evaluation. Fuji International Symposium on Functional and Logic Programming 1998: 271-295
42		Olivier Danvy: A Simple Solution to Type Specialization. ICALP 1998: 908-917
41		Olivier Danvy: Type-Directed Partial Evaluation. Partial Evaluation 1998: 367-411
40		Olivier Danvy, Kristoffer Høgsbro Rose: Higher-Order Rewriting and Partial Evaluation. RTA 1998: 286-301
39		Vincent Balat, Olivier Danvy: Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation. Types in Compilation 1998: 240-252
38		Olivier Danvy, Robert Glück, Peter Thiemann: 1998 Symposium on Partial Evaluation. ACM Comput. Surv. 30(3): 285-290 (1998)
37		Olivier Danvy: Functional Unparsing. J. Funct. Program. 8(6): 621-625 (1998)
	1997
36		Olivier Danvy, Ulrik Pagh Schultz: Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure. PEPM 1997: 90-106
35		John Hatcliff, Olivier Danvy: Thunks and the lambda-Calculus. J. Funct. Program. 7(3): 303-319 (1997)
34		Olivier Danvy, Mayer Goldberg: Partial Evaluation of the Euclidian Algorithm. Lisp and Symbolic Computation 10(2): 101-111 (1997)
33		John Hatcliff, Olivier Danvy: A Computational Formalization for Partial Evaluation. Mathematical Structures in Computer Science 7(5): 507-541 (1997)
	1996
32		Olivier Danvy, Robert Glück, Peter Thiemann: Partial Evaluation, International Seminar, Dagstuhl Castle, Germany, February 12-16, 1996, Selected Papers Springer 1996
31		Olivier Danvy: Pragmatics of Type-Directed Partial Evaluation. Dagstuhl Seminar on Partial Evaluation 1996: 73-94
30		Olivier Danvy, René Vestergaard: Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation. PLILP 1996: 182-197
29		Olivier Danvy: Type-Directed Partial Evaluation. POPL 1996: 242-257
28		Olivier Danvy, Nevin Hentze, Karoline Malmkjær: Resource-Bounded Partial Evaluation. ACM Comput. Surv. 28(2): 329-332 (1996)
27		Olivier Danvy, Karoline Malmkjær, Jens Palsberg: Eta-Expansion Does The Trick. ACM Trans. Program. Lang. Syst. 18(6): 730-751 (1996)
	1995
26		Olivier Danvy, Karoline Malmkjær, Jens Palsberg: The Essence of Eta-Expansion in Partial Evaluation. Lisp and Symbolic Computation 8(3): 209-227 (1995)
	1994
25		Olivier Danvy: Partial Evaluation for Program Speedups. IFIP Congress (1) 1994: 579-580
24		Julia L. Lawall, Olivier Danvy: Continuation-Based Partial Evaluation. LISP and Functional Programming 1994: 227-238
23		Olivier Danvy, Karoline Malmkjær, Jens Palsberg: The Essence of Eta-Expansion in Partial Evaluation. PEPM 1994: 11-20
22		John Hatcliff, Olivier Danvy: A Generic Account of Continuation-Passing Styles. POPL 1994: 458-471
21		Olivier Danvy: Back to Direct Style. Sci. Comput. Program. 22(3): 183-195 (1994)
	1993
20		Olivier Danvy, John Hatcliff: On the Transformation between Direct and Continuation Semantics. MFPS 1993: 627-648
19		Julia L. Lawall, Olivier Danvy: Separating Stages in the Continuation-Passing Style Transformation. POPL 1993: 124-136
18		Charles Consel, Olivier Danvy: Tutorial Notes on Partial Evaluation. POPL 1993: 493-501
	1992
17		Olivier Danvy: Back to Direct Style. ESOP 1992: 130-150
16		Olivier Danvy, Julia L. Lawall: Back to Direct Style II: First-Class Continuations. LISP and Functional Programming 1992: 299-310
15		Olivier Danvy, John Hatcliff: Thunks (Continued). WSA 1992: 3-11
14		Olivier Danvy, John Hatcliff: CPS-Transformation After Strictness Analysis. LOPLAS 1(3): 195-212 (1992)
13		Charles Consel, Olivier Danvy: Partial Evaluation in Parallel. Lisp and Symbolic Computation 5(4): 327-342 (1992)
12		Olivier Danvy, Andrzej Filinski: Representing Control: A Study of the CPS Transformation. Mathematical Structures in Computer Science 2(4): 361-391 (1992)
	1991
11		Charles Consel, Olivier Danvy: Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991 ACM 1991
10		Charles Consel, Olivier Danvy: For a Better Support of Static Data Flow. FPCA 1991: 496-519
9		Charles Consel, Olivier Danvy: Static and Dynamic Semantics Processing. POPL 1991: 14-24
8		Olivier Danvy: Semantics-Directed Compilation of Nonlinear Patterns. Inf. Process. Lett. 37(6): 315-322 (1991)
7		Anders Bondorf, Olivier Danvy: Automatic Autoprojection of Recursive Equations with Global Variables and Abstract Data Types. Sci. Comput. Program. 16(2): 151-195 (1991)
	1990
6		Charles Consel, Olivier Danvy: From Interpreting to Compiling Binding Times. ESOP 1990: 88-105
5		Neil D. Jones, Carsten K. Gomard, Anders Bondorf, Olivier Danvy, Torben Æ. Mogensen: A Self-Applicable Partial Evaluator for the Lambda Calculus. ICCL 1990: 49-58
4		Olivier Danvy, Andrzej Filinski: Abstracting Control. LISP and Functional Programming 1990: 151-160
	1989
3		Charles Consel, Olivier Danvy: Partial Evaluation of Pattern Matching in Strings. Inf. Process. Lett. 30(2): 79-86 (1989)
	1988
2		Olivier Danvy, Karoline Malmkjær: Intensions and Extensions in a Reflective Tower. LISP and Functional Programming 1988: 327-341
	1987
1		Olivier Danvy: Memory allocation and higher-order functions. PLDI 1987: 241-252

Coauthor Index

1	Mads Sig Ager	[76] [81] [86] [87] [93] [98] [114]
2	Gul A. Agha (Gul Agha)	[146]
3	Torben Amtoft (Torben Amtoft Hansen)	[75]
4	Vincent Balat	[39] [78]
5	David A. Basin	[95]
6	Malgorzata Biernacka	[99] [105] [113] [116] [121] [137]
7	Dariusz Biernacki	[86] [88] [99] [100] [105] [108] [109]
8	Anders Bondorf	[5] [7]
9	Manuel M. T. Chakravarty	[148]
10	Wei-Ngan Chin	[96]
11	Charles Consel	[3] [6] [9] [10] [11] [13] [18] [75]
12	Daniel Damian	[56] [65] [71] [83] [84]
13	R. Kent Dybvig	[126]
14	Belmina Dzafic	[48]
15	Andrzej Filinski	[4] [12] [70] [111]
16	Jean-Louis Giavitto	[111]
17	Robert Glück	[32] [38]
18	Mayer Goldberg	[34] [76] [77] [103]
19	Carsten K. Gomard	[5]
20	Bernd Grobauer	[58] [66]
21	Robert Harper	[95]
22	John Hatcliff	[14] [15] [20] [22] [33] [35]
23	Fritz Henglein	[85] [102]
24	Nevin Hentze	[28]
25	Zhenjiang Hu	[148]
26	Takayasu Ito	[60] [74]
27	Jacob Johannsen	[128] [140] [144]
28	Neil D. Jones	[5]
29	Andy King	[111]
30	Julia L. Lawall	[16] [19] [24] [61] [126]
31	Pablo E. Martínez López	[90]
32	Harry G. Mairson	[85] [102]
33	Karoline Malmkjær	[2] [23] [26] [27] [28] [75]
34	Ian A. Mason	[94] [125]
35	José Meseguer	[146]
36	Jan Midtgaard	[86] [93] [98] [143]
37	Kevin Millikin	[106] [118] [123] [124] [127] [131] [142]
38	Torben Æ. Mogensen	[5]
39	Oege de Moor	[112]
40	Pierre-Etienne Moreau	[111]
41	Johan Munk	[142]
42	Lasse R. Nielsen	[63] [67] [68] [79] [82] [101] [118]
43	Peter W. O'Hearn	[117]
44	Julian A. Padget	[112] [136]
45	Jens Palsberg	[23] [26] [27]
46	Alberto Pettorossi	[85] [102]
47	Frank Pfenning	[48]
48	Benjamin C. Pierce	[107]
49	Morten Rhiger	[58] [59] [66] [69]
50	Henning Korsholm Rohde	[81] [87] [110] [114]
51	Kristoffer Høgsbro Rose	[40] [59]
52	Amr Sabry	[73]
53	Ulrik Pagh Schultz	[36] [52] [80] [92]
54	Chung-chieh Shan	[100] [108] [139] [147]
55	J. Michael Spivey	[122]
56	Kristian Støvring	[113]
57	Carolyn L. Talcott	[44] [45] [46] [47] [53] [54] [55] [60] [62] [72] [74] [111] [132] [133] [135]
58	Hayo Thielecke	[119]
59	Peter Thiemann	[32] [38] [96] [112] [126]
60	René Vestergaard	[30]
61	Philip Wadler	[117]
62	Zhe Yang	[50]
63	Ian Zerny	[139] [141] [142] [144]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page