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

Daniel P. Friedman Vis

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

*2008
60EEOleg Kiselyov, William E. Byrd, Daniel P. Friedman, Chung-chieh Shan: Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl). FLOPS 2008: 64-80
59EEJoseph P. Near, William E. Byrd, Daniel P. Friedman: alpha-leanTAP: A Declarative Theorem Prover for First-Order Classical Logic. ICLP 2008: 238-252
58EEMitchell Wand, Daniel P. Friedman: Programming languages: fundamental concepts for expanding and disciplining the mind. SIGPLAN Notices 43(11): 133-135 (2008)
2007
57EEDaniel P. Friedman, Abdulaziz Ghuloum, Jeremy G. Siek, Onnie Lynn Winebarger: Improving the lazy Krivine machine. Higher-Order and Symbolic Computation 20(3): 271-293 (2007)
2005
56EEOleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman, Amr Sabry: Backtracking, interleaving, and terminating monad transformers: (functional pearl). ICFP 2005: 192-203
2002
55EEDaniel P. Friedman, Amr Sabry: CPS in little pieces: composing partial continuations. J. Funct. Program. 12(6): 617-622 (2002)
1999
54EESteven E. Ganz, Daniel P. Friedman, Mitchell Wand: Trampolined Style. ICFP 1999: 18-27
1998
53EEShriram Krishnamurthi, Matthias Felleisen, Daniel P. Friedman: Synthesizing Object-Oriented and Functional Design to Promote Re-Use. ECOOP 1998: 91-113
52EEJonathan Sobel, Daniel P. Friedman: Recycling Continuations. ICFP 1998: 251-260
51 Harold Abelson, R. Kent Dybvig, Christopher T. Haynes, Guillermo Juan Rozas, N. I. Adams IV, Daniel P. Friedman, Eugene E. Kohlbecker, Guy L. Steele Jr., David H. Bartley, Robert H. Halstead Jr., Don Oxley, Gerald J. Sussman, G. Brooks, Chris Hanson, Kent M. Pitman, Mitchell Wand: Revised Report on the Algorithmic Language Scheme. Higher-Order and Symbolic Computation 11(1): 7-105 (1998)
1996
50EEJonathan G. Rossie Jr., Daniel P. Friedman, Mitchell Wand: Modeling Subobject-based Inheritance. ECOOP 1996: 248-274
49 Shinn-Der Lee, Daniel P. Friedman: Enriching the Lambda Calculus with Contexts: Toward a Theory of Incremental Program Construction. ICFP 1996: 239-250
48 Stanley Jefferson, Daniel P. Friedman: A Simple Reflective Interpreter. Lisp and Symbolic Computation 9(2-3): 181-202 (1996)
1995
47 Eric Hilsdale, J. Michael Ashley, R. Kent Dybvig, Daniel P. Friedman: Compiler Construction Using Scheme. FPLE 1995: 251-267
46 Jonathan G. Rossie Jr., Daniel P. Friedman: An Algebraic Semantics of Subobjects. OOPSLA 1995: 187-199
1993
45EEArthur M. Riehl, Daniel P. Friedman, Brian Harvey, Simon M. Kaplan, Richard M. Salter, George Springer: Using Scheme in the Introductory Computer Science Curriculum (abstract). ACM Conference on Computer Science 1993: 533-534
44 Shinn-Der Lee, Daniel P. Friedman: Quasi-Static Scoping: Sharing Variable Bindings Across Multiple Lexical Scopes. POPL 1993: 479-492
43EEArthur M. Riehl, Daniel P. Friedman, Brian Harvey, Simon M. Kaplan, Richard M. Salter, George Springer: Using SCHEME in the introductory computer science curriculum (abstract). SIGCSE 1993: 288
42EERhys Price Jones, Doug Cooper, Daniel P. Friedman, Richard C. Holt, Peter Robinson: Issues in the choice of programming language for CS 1 (abstract). SIGCSE 1993: 301
1992
41EEEric T. Freeman, Daniel P. Friedman: Characterizing the Paralation Model using Dynamic Assignment. PARLE 1992: 483-496
40 Shinn-Der Lee, Daniel P. Friedman: First-Class Extents. Lisp and Symbolic Computation 5(4): 343-375 (1992)
1990
39EEStanley Jefferson, Shinn-Der Lee, Daniel P. Friedman: A Syntactic Theory of Transparent Parameterization. ESOP 1990: 212-226
38 John V. Franco, Daniel P. Friedman, Steven D. Johnson: Multi-Way Streams in Scheme. Comput. Lang. 15(1): 109-125 (1990)
37 John V. Franco, Daniel P. Friedman: Towards a Facility for Lexically Scoped, Dynamic Mutual Recursion in Scheme. Comput. Lang. 15(1): 54-64 (1990)
1989
36 John V. Franco, Daniel P. Friedman: Creating Efficient Programs by Exchanging Data for Procedures. Comput. Lang. 14(1): 11-23 (1989)
35 Matthias Felleisen, Daniel P. Friedman: A Syntactic Theory of Sequential State. Theor. Comput. Sci. 69(3): 243-287 (1989)
1988
34EEMatthias 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
33 Mitchell Wand, Daniel P. Friedman: The Mystery of the Tower Revealed: A Nonreflective Description of the Reflective Tower. Lisp and Symbolic Computation 1(1): 11-37 (1988)
32 R. Kent Dybvig, Daniel P. Friedman, Christopher T. Haynes: Expansion-Passing Style: A General Macro Mechanism. Lisp and Symbolic Computation 1(1): 53-75 (1988)
1987
31EEMatthias Felleisen, Daniel P. Friedman: A Reduction Semantics for Imperative Higher-Order Languages. PARLE (2) 1987: 206-223
30 Matthias Felleisen, Daniel P. Friedman: A Calculus for Assignments in Higher-Order Languages. POPL 1987: 314-325
29EEChristopher T. Haynes, Daniel P. Friedman: Embedding Continuations in Procedural Objects. ACM Trans. Program. Lang. Syst. 9(4): 582-598 (1987)
28 Christopher T. Haynes, Daniel P. Friedman: Abstracting Timed Preemption with Engines. Comput. Lang. 12(2): 109-121 (1987)
27 Matthias Felleisen, Daniel P. Friedman, Eugene E. Kohlbecker, Bruce F. Duba: A Syntactic Theory of Sequential Control. Theor. Comput. Sci. 52: 205-237 (1987)
1986
26 Matthias Felleisen, Daniel P. Friedman, Eugene E. Kohlbecker, Bruce F. Duba: Reasoning with Continuations LICS 1986: 131-141
25 R. Kent Dybvig, Daniel P. Friedman, Christopher T. Haynes: Expansion-Passing Style: Beyond Conventional Macros. LISP and Functional Programming 1986: 143-150
24 Eugene E. Kohlbecker, Daniel P. Friedman, Matthias Felleisen, Bruce F. Duba: Hygienic Macro Expansion. LISP and Functional Programming 1986: 151-161
23 Mitchell Wand, Daniel P. Friedman: The Mystery of the Tower Revealed: A Non-Reflective Description of the Reflective Tower. LISP and Functional Programming 1986: 298-307
22 Matthias Felleisen, Daniel P. Friedman: A Closer Look at Export and Import Statements. Comput. Lang. 11(1): 29-37 (1986)
21 Christopher T. Haynes, Daniel P. Friedman, Mitchell Wand: Obtaining Coroutines with Continuations. Comput. Lang. 11(3/4): 143-153 (1986)
1985
20 Daniel P. Friedman, Christopher T. Haynes: Constraining Control. POPL 1985: 245-254
1984
19 Christopher T. Haynes, Daniel P. Friedman: Engines Build Process Abstractions. LISP and Functional Programming 1984: 18-24
18 Christopher T. Haynes, Daniel P. Friedman, Mitchell Wand: Continuations and Coroutines. LISP and Functional Programming 1984: 293-298
17 Daniel P. Friedman, Mitchell Wand: Reification: Reflection without Metaphysics. LISP and Functional Programming 1984: 348-355
1982
16EERobert E. Filman, Daniel P. Friedman: Models, languages, and heuristics for distributed computing. AFIPS National Computer Conference 1982: 671-677
1980
15 Daniel P. Friedman, David S. Wise: An Indeterminate Constructor for Applicative Programming. POPL 1980: 245-250
14 Richard M. Salter, Terence J. Brennan, Daniel P. Friedman: Concur: A Language for Continuous, Concurrent Processes. Comput. Lang. 5(3): 163-189 (1980)
1979
13 Daniel P. Friedman, David S. Wise: An Approach to Fair Applicative Multiprogramming. Semantics of Concurrent Computation 1979: 203-225
12 Daniel P. Friedman, David S. Wise: Reference Counting Can Manage the Circular Environments of Mutual Recursion. Inf. Process. Lett. 8(1): 41-45 (1979)
1978
11 Daniel P. Friedman, David S. Wise: A Note on Conditional Expressions. Commun. ACM 21(11): 931-933 (1978)
10 Daniel P. Friedman, David S. Wise: Functional Combination. Comput. Lang. 3(1): 31-35 (1978)
9 Mitchell Wand, Daniel P. Friedman: Compiling Lambda-Expressions Using Continuations and Factorizations. Comput. Lang. 3(4): 241-263 (1978)
8 Daniel P. Friedman, David S. Wise: Aspects of Applicative Programming for Parallel Processing. IEEE Trans. Computers 27(4): 289-296 (1978)
7 Daniel P. Friedman, David S. Wise: Unbounded Computational Structures. Softw., Pract. Exper. 8(4): 407-416 (1978)
1977
6 Daniel P. Friedman, David S. Wise: Aspects of Applicative Programming for File Systems (Preliminary Version). Language Design for Reliable Software 1977: 41-55
5 John D. Lowrance, Daniel P. Friedman: Hendrix's Model for Simultaneous Actions and Continuous Processes: An Introduction and Implementation. International Journal of Man-Machine Studies 9(5): 537-581 (1977)
1976
4 Daniel P. Friedman, David S. Wise: CONS Should Not Evaluate its Arguments. ICALP 1976: 257-284
3 Daniel P. Friedman, David S. Wise: Output Driven Interpretation of Recursive Programs, or Writing Creates and Destroys Data Structures. Inf. Process. Lett. 5(6): 155-160 (1976)
2 Daniel P. Friedman, David S. Wise: Garbage Collecting a Heap Which Includes a Scatter Table. Inf. Process. Lett. 5(6): 161-164 (1976)
1971
1 Terrence W. Pratt, Daniel P. Friedman: A Language Extension for Graph Processing and Its Formal Semantics. Commun. ACM 14(7): 460-467 (1971)

Coauthor Index

1Harold Abelson [51]
2N. I. Adams IV [51]
3J. Michael Ashley [47]
4David H. Bartley [51]
5Terence J. Brennan [14]
6G. Brooks [51]
7William E. Byrd [59] [60]
8Doug Cooper [42]
9Bruce F. Duba [24] [26] [27] [34]
10R. Kent Dybvig [25] [32] [47] [51]
11Matthias Felleisen [22] [24] [26] [27] [30] [31] [34] [35] [53]
12Robert E. Filman [16]
13John V. Franco [36] [37] [38]
14Eric T. Freeman [41]
15Steven E. Ganz [54]
16Abdulaziz Ghuloum [57]
17Robert H. Halstead Jr. [51]
18Chris Hanson [51]
19Brian Harvey [43] [45]
20Christopher T. Haynes [18] [19] [20] [21] [25] [28] [29] [32] [51]
21Eric Hilsdale [47]
22Richard C. Holt [42]
23Stanley Jefferson [39] [48]
24Steven D. Johnson [38]
25Rhys Price Jones [42]
26Simon M. Kaplan [43] [45]
27Oleg Kiselyov [56] [60]
28Eugene E. Kohlbecker [24] [26] [27] [51]
29Shriram Krishnamurthi [53]
30Shinn-Der Lee [39] [40] [44] [49]
31John D. Lowrance [5]
32Joseph P. Near [59]
33Don Oxley [51]
34Kent M. Pitman [51]
35Terrence W. Pratt [1]
36Arthur M. Riehl [43] [45]
37Peter Robinson [42]
38Jonathan G. Rossie Jr. [46] [50]
39Guillermo Juan Rozas [51]
40Amr Sabry [55] [56]
41Richard M. Salter [14] [43] [45]
42Chung-chieh Shan [56] [60]
43Jeremy G. Siek [57]
44Jonathan Sobel [52]
45George Springer [43] [45]
46Guy L. Steele Jr. [51]
47Gerald J. Sussman [51]
48Mitchell Wand [9] [17] [18] [21] [23] [33] [34] [50] [51] [54] [58]
49Onnie Lynn Winebarger [57]
50David S. Wise [2] [3] [4] [6] [7] [8] [10] [11] [12] [13] [15]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)