-
1
-
-
1242265168
-
A functional correspondence be-tween evaluators and abstract machines
-
In Dale Miller, editor, ACM Press, August
-
Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, and Jan Midtgaard. A functional correspondence be-tween evaluators and abstract machines. In Dale Miller, editor, Proceedings of the Fifth ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP’03), pages 8-19. ACM Press, August 2003.
-
(2003)
Proceedings of the Fifth ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP’03)
, pp. 8-19
-
-
Ager, M.S.1
Biernacki, D.2
Danvy, O.3
Midtgaard, J.4
-
2
-
-
2142844803
-
A functional correspondence between call-by-need evaluators and lazy abstract machines
-
Extended version available as the technical report BRICS-RS-04-3
-
Mads Sig Ager, Olivier Danvy, and Jan Midtgaard. A functional correspondence between call-by-need evaluators and lazy abstract machines. Information Processing Letters, 90(5):223-232, 2004. Extended version available as the technical report BRICS-RS-04-3.
-
(2004)
Information Processing Letters
, vol.90
, Issue.5
, pp. 223-232
-
-
Ager, M.S.1
Danvy, O.2
Midtgaard, J.3
-
3
-
-
23844517416
-
A functional correspondence between monadic eval-uators and abstract machines for languages with computational effects
-
Extended version available as the technical report BRICS RS-04-28
-
Mads Sig Ager, Olivier Danvy, and Jan Midtgaard. A functional correspondence between monadic eval-uators and abstract machines for languages with computational effects. Theoretical Computer Science, 342(1):149-172, 2005. Extended version available as the technical report BRICS RS-04-28.
-
(2005)
Theoretical Computer Science
, vol.342
, Issue.1
, pp. 149-172
-
-
Ager, M.S.1
Danvy, O.2
Midtgaard, J.3
-
4
-
-
84949486005
-
Categorical reconstruction of a reduction-free normalization proof
-
In David H. Pitt, David E. Rydeheard, and Peter Johnstone, editors, number 953 in Lecture Notes in Computer Science, Cambridge, UK, August, Springer-Verlag
-
Thorsten Altenkirch, Martin Hofmann, and Thomas Streicher. Categorical reconstruction of a reduction-free normalization proof. In David H. Pitt, David E. Rydeheard, and Peter Johnstone, editors, Category Theory and Computer Science, number 953 in Lecture Notes in Computer Science, pages 182-199, Cambridge, UK, August 1995. Springer-Verlag.
-
(1995)
Category Theory and Computer Science
, pp. 182-199
-
-
Altenkirch, T.1
Hofmann, M.2
Streicher, T.3
-
6
-
-
0036036765
-
Online partial evaluation for shift and reset
-
Peter Thiemann, editor, SIGPLAN Notices, Portland, Oregon, March, ACM Press
-
Kenichi Asai. Online partial evaluation for shift and reset. In Peter Thiemann, editor, Proceedings of the 2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM 2002), SIGPLAN Notices, Vol. 37, No 3, pages 19-30, Portland, Oregon, March 2002. ACM Press.
-
(2002)
Proceedings of the 2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM 2002)
, vol.37
, Issue.3
, pp. 19-30
-
-
Asai, K.1
-
7
-
-
11244284789
-
Offline partial evaluation for shift and reset
-
Nevin Heintze and Peter Sestoft, editors, Verona, Italy, August, ACM Press
-
Kenichi Asai. Offline partial evaluation for shift and reset. In Nevin Heintze and Peter Sestoft, editors, Proceedings of the 2004 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM 2004), pages 3-14, Verona, Italy, August 2003. ACM Press.
-
(2003)
Proceedings of the 2004 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM 2004)
, pp. 3-14
-
-
Asai, K.1
-
8
-
-
1442312256
-
Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums
-
In Xavier Leroy, editor, Venice, Italy, January, ACM Press
-
Vincent Balat, Roberto Di Cosmo, and Marcelo P. Fiore. Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums. In Xavier Leroy, editor, Proceedings of the Thirty-First Annual ACM Symposium on Principles of Programming Languages, pages 64-76, Venice, Italy, January 2004. ACM Press.
-
(2004)
Proceedings of the Thirty-First Annual ACM Symposium on Principles of Programming Languages
, pp. 64-76
-
-
Balat, V.1
Cosmo, R.D.2
Fiore, M.P.3
-
9
-
-
84937432328
-
Memoization in type-directed partial evaluation
-
In Don Batory, Charles Consel, and Walid Taha, editors, number 2487 in Lecture Notes in Computer Science, Pittsburgh, Pennsylvania, October, Springer-Verlag
-
Vincent Balat and Olivier Danvy. Memoization in type-directed partial evaluation. In Don Batory, Charles Consel, and Walid Taha, editors, Proceedings of the 2002 ACM SIGPLAN/SIGSOFT Conference on Generative Programming and Component Engineering, number 2487 in Lecture Notes in Computer Science, pages 78-92, Pittsburgh, Pennsylvania, October 2002. Springer-Verlag.
-
(2002)
Proceedings of the 2002 ACM SIGPLAN/SIGSOFT Conference on Generative Programming and Component Engineering
, pp. 78-92
-
-
Balat, V.1
Danvy, O.2
-
10
-
-
84979066482
-
Design and correctness of program transforma-tions based on control-flow analysis
-
In Naoki Kobayashi and Benjamin C. Pierce, editors, number 2215 in Lecture Notes in Computer Science, Sendai, Japan, October, Springer-Verlag
-
Anindya Banerjee, Nevin Heintze, and Jon G. Riecke. Design and correctness of program transforma-tions based on control-flow analysis. In Naoki Kobayashi and Benjamin C. Pierce, editors, Theoretical Aspects of Computer Software, 4th International Symposium, TACS 2001, number 2215 in Lecture Notes in Computer Science, pages 420-447, Sendai, Japan, October 2001. Springer-Verlag.
-
(2001)
Theoretical Aspects of Computer Software, 4Th International Symposium, TACS 2001
, pp. 420-447
-
-
Banerjee, A.1
Heintze, N.2
Riecke, J.G.3
-
11
-
-
0001842931
-
How a computer should think
-
In Gilbert Ryle, editor, Oxford, England, Oriel Press
-
Nuel D. Belnap. How a computer should think. In Gilbert Ryle, editor, Proceedings of the Oxford International Symposium on Contemporary Aspects of Philosophy, pages 30-56, Oxford, England, 1976. Oriel Press.
-
(1976)
Proceedings of the Oxford International Symposium on Contemporary Aspects of Philosophy
, pp. 30-56
-
-
Belnap, N.D.1
-
12
-
-
0346498671
-
Normalization by evaluation
-
In Bernhard Möller and John V. Tucker, editors, number 1546 in Lecture Notes in Computer Science, Berlin, Germany, Springer-Verlag
-
Ulrich Berger, Matthias Eberl, and Helmut Schwichtenberg. Normalization by evaluation. In Bernhard Möller and John V. Tucker, editors, Prospects for hardware foundations (NADA), number 1546 in Lecture Notes in Computer Science, pages 117-137, Berlin, Germany, 1998. Springer-Verlag.
-
(1998)
Prospects for Hardware Foundations (NADA)
, pp. 117-137
-
-
Berger, U.1
Eberl, M.2
Schwichtenberg, H.3
-
13
-
-
0026190524
-
An inverse of the evaluation functional for typed λ-calculus
-
Gilles Kahn, editor, Amsterdam, The Netherlands, July, IEEE Computer Society Press
-
Ulrich Berger and Helmut Schwichtenberg. An inverse of the evaluation functional for typed λ-calculus. In Gilles Kahn, editor, Proceedings of the Sixth Annual IEEE Symposium on Logic in Computer Science, pages 203-211, Amsterdam, The Netherlands, July 1991. IEEE Computer Society Press.
-
(1991)
Proceedings of the Sixth Annual IEEE Symposium on Logic in Computer Science
, pp. 203-211
-
-
Berger, U.1
Schwichtenberg, H.2
-
14
-
-
3042982741
-
Extracting a proof of coherence for monoidal categories from a proof of normalization for monoids
-
Stefano Berardi and Mario Coppo, editors, number 1158 in Lecture Notes in Computer Science, Torino, Italy, June, Springer-Verlag
-
Ilya Beylin and Peter Dybjer. Extracting a proof of coherence for monoidal categories from a proof of normalization for monoids. In Stefano Berardi and Mario Coppo, editors, Types for Proofs and Programs, International Workshop TYPES’95, number 1158 in Lecture Notes in Computer Science, pages 47-61, Torino, Italy, June 1995. Springer-Verlag.
-
(1995)
Types for Proofs and Programs, International Workshop TYPES’95
, pp. 47-61
-
-
Beylin, I.1
Dybjer, P.2
-
15
-
-
85029446486
-
-
Research Report BRICS RS-05-15, DAIMI, Department of Computer Science, University of Aarhus, Aarhus, Denmark, May
-
Małgorzata Biernacka and Olivier Danvy. A concrete framework for environment machines. Research Report BRICS RS-05-15, DAIMI, Department of Computer Science, University of Aarhus, Aarhus, Denmark, May 2005.
-
(2005)
A concrete framework for environment machines
-
-
Biernacka, M.1
Danvy, O.2
-
16
-
-
85029432836
-
-
Research Report BRICS RS-05-22, DAIMI, Department of Computer Science, University of Aarhus, Aarhus, Denmark, July
-
Małgorzata Biernacka and Olivier Danvy. A syntactic correspondence between context-sensitive calculi and abstract machines. Research Report BRICS RS-05-22, DAIMI, Department of Computer Science, University of Aarhus, Aarhus, Denmark, July 2005.
-
(2005)
A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines
-
-
Biernacka, M.1
Danvy, O.2
-
17
-
-
35048897016
-
From interpreter to logic engine by defunctionalization
-
In Mau-rice Bruynooghe, editor, number 3018 in Lecture Notes in Computer Science, pages 143-159, Uppsala, Sweden, August, Springer-Verlag
-
Dariusz Biernacki and Olivier Danvy. From interpreter to logic engine by defunctionalization. In Mau-rice Bruynooghe, editor, Logic Based Program Synthesis and Transformation, 13th International Symposium, LOPSTR 2003, number 3018 in Lecture Notes in Computer Science, pages 143-159, Uppsala, Sweden, August 2003. Springer-Verlag.
-
(2003)
Logic Based Program Synthesis and Transformation, 13Th International Symposium, LOPSTR 2003
-
-
Biernacki, D.1
Danvy, O.2
-
18
-
-
33646424014
-
-
Research Report BRICS RS-05-16, DAIMI, Department of Computer Science, University of Aarhus, Aarhus, Denmark, May
-
Dariusz Biernacki, Olivier Danvy, and Kevin Millikin. A dynamic continuation-passing style for dynamic delimited continuations. Research Report BRICS RS-05-16, DAIMI, Department of Computer Science, University of Aarhus, Aarhus, Denmark, May 2005.
-
(2005)
A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations
-
-
Biernacki, D.1
Danvy, O.2
Millikin, K.3
-
19
-
-
24144448075
-
On the dynamic extent of delimited contin-uations
-
Extended version available as the technical report BRICS RS-05-13
-
Dariusz Biernacki, Olivier Danvy, and Chung-chieh Shan. On the dynamic extent of delimited contin-uations. Information Processing Letters, 96(1):7-17, 2005. Extended version available as the technical report BRICS RS-05-13.
-
(2005)
Information Processing Letters
, vol.96
, Issue.1
, pp. 7-17
-
-
Biernacki, D.1
Danvy, O.2
Shan, C.-C.3
-
21
-
-
33645486818
-
On listing list prefixes
-
January, ACM Press
-
Olivier Danvy. On listing list prefixes. LISP Pointers, 2(3-4):42-46, January 1989. ACM Press.
-
(1989)
LISP Pointers
, vol.2
, Issue.3-4
, pp. 42-46
-
-
Danvy, O.1
-
22
-
-
0029706995
-
Type-directed partial evaluation
-
In Guy L. Steele Jr., editor, St. Petersburg Beach, Florida, January, ACM Press
-
Olivier Danvy. Type-directed partial evaluation. In Guy L. Steele Jr., editor, Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Programming Languages, pages 242-257, St. Petersburg Beach, Florida, January 1996. ACM Press.
-
(1996)
Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Programming Languages
, pp. 242-257
-
-
Danvy, O.1
-
23
-
-
84958660609
-
Type-directed partial evaluation
-
In John Hatcliff, Torben A. Mogensen, and Peter Thiemann, editors, number 1706 in Lecture Notes in Computer Science, Copenhagen, Denmark, July, Springer-Verlag
-
Olivier Danvy. Type-directed partial evaluation. In John Hatcliff, Torben A. Mogensen, and Peter Thiemann, editors, Partial Evaluation-Practice and Theory; Proceedings of the 1998 DIKU Summer School, number 1706 in Lecture Notes in Computer Science, pages 367-411, Copenhagen, Denmark, July 1998. Springer-Verlag.
-
(1998)
Partial Evaluation-Practice and Theory; Proceedings of the 1998 DIKU Summer School
, pp. 367-411
-
-
Danvy, O.1
-
24
-
-
16644402392
-
From reduction-based to reduction-free normalization
-
In Sergio Antoy and Yoshihito Toyama, editors, number 124 in Electronic Notes in Theoretical Computer Science, Aachen, Germany, May 2004. Elsevier Science. Invited talk
-
Olivier Danvy. From reduction-based to reduction-free normalization. In Sergio Antoy and Yoshihito Toyama, editors, Proceedings of the Fourth International Workshop on Reduction Strategies in Rewriting and Programming (WRS’04), number 124 in Electronic Notes in Theoretical Computer Science, pages 79-100, Aachen, Germany, May 2004. Elsevier Science. Invited talk.
-
Proceedings of the Fourth International Workshop on Reduction Strategies in Rewriting and Programming (WRS’04)
, pp. 79-100
-
-
Danvy, O.1
-
25
-
-
16644384769
-
On evaluation contexts, continuations, and the rest of the computation
-
In Hayo Thi-elecke, editor, Technical report CSR-04-1, Department of Computer Science, Queen Mary’s College, Venice, Italy, January, Invited talk
-
Olivier Danvy. On evaluation contexts, continuations, and the rest of the computation. In Hayo Thi-elecke, editor, Proceedings of the Fourth ACM SIGPLAN Workshop on Continuations, Technical report CSR-04-1, Department of Computer Science, Queen Mary’s College, pages 13-23, Venice, Italy, January 2004. Invited talk.
-
(2004)
Proceedings of the Fourth ACM SIGPLAN Workshop on Continuations
, pp. 13-23
-
-
Danvy, O.1
-
26
-
-
24944462071
-
A rational deconstruction of Landin’s SECD machine
-
Clemens Grelck, Frank Huch, Greg J. Michaelson, and Phil Trinder, editors, number 3474 in Lecture Notes in Computer Science, Lübeck, Germany, September, Springer-Verlag. Recipient of the 2004 Peter Landin prize. Extended version available as the technical report BRICS-RS-03-33
-
Olivier Danvy. A rational deconstruction of Landin’s SECD machine. In Clemens Grelck, Frank Huch, Greg J. Michaelson, and Phil Trinder, editors, Implementation and Application of Functional Languages, 16th International Workshop, IFL’04, number 3474 in Lecture Notes in Computer Science, pages 52-71, Lübeck, Germany, September 2004. Springer-Verlag. Recipient of the 2004 Peter Landin prize. Extended version available as the technical report BRICS-RS-03-33.
-
(2004)
Implementation and Application of Functional Languages, 16Th International Workshop, IFL’04
, pp. 52-71
-
-
Danvy, O.1
-
27
-
-
0003830722
-
-
DIKU Rapport 89/12, DIKU, Computer Science Department, University of Copenhagen, Copenhagen, Denmark, July
-
Olivier Danvy and Andrzej Filinski. A functional abstraction of typed contexts. DIKU Rapport 89/12, DIKU, Computer Science Department, University of Copenhagen, Copenhagen, Denmark, July 1989.
-
(1989)
A Functional Abstraction of Typed Contexts
-
-
Danvy, O.1
Filinski, A.2
-
28
-
-
0025566530
-
Abstracting control
-
Olivier Danvy and Andrzej Filinski. Abstracting control. In Wand[81], pages 151-160.
-
Wand[81]
, pp. 151-160
-
-
Danvy, O.1
Filinski, A.2
-
29
-
-
84972048107
-
Representing control, a study of the CPS transformation
-
Olivier Danvy and Andrzej Filinski. Representing control, a study of the CPS transformation. Mathematical Structures in Computer Science, 2(4):361-391, 1992.
-
(1992)
Mathematical Structures in Computer Science
, vol.2
, Issue.4
, pp. 361-391
-
-
Danvy, O.1
Filinski, A.2
-
30
-
-
0035790510
-
Defunctionalization at work
-
Harald Sondergaard, editor, Firenze, Italy, September, ACM Press. Extended version available as the technical report BRICS RS-01-23
-
Olivier Danvy and Lasse R. Nielsen. Defunctionalization at work. In Harald Sondergaard, editor, Proceedings of the Third International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP’01), pages 162-174, Firenze, Italy, September 2001. ACM Press. Extended version available as the technical report BRICS RS-01-23.
-
(2001)
Proceedings of the Third International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP’01)
, pp. 162-174
-
-
Danvy, O.1
Nielsen, L.R.2
-
31
-
-
38149079131
-
-
Research Report BRICS RS-04-26, DAIMI, Department of Computer Science, University of Aarhus, Aarhus, Denmark, November, A preliminary version appears in the informal proceedings of the Second International Workshop on Rule-Based Programming (RULE 2001), Electronic Notes in Theoretical Computer Science
-
Olivier Danvy and Lasse R. Nielsen. Refocusing in reduction semantics. Research Report BRICS RS-04-26, DAIMI, Department of Computer Science, University of Aarhus, Aarhus, Denmark, November 2004. A preliminary version appears in the informal proceedings of the Second International Workshop on Rule-Based Programming (RULE 2001), Electronic Notes in Theoretical Computer Science, Vol. 59.4.
-
(2004)
Refocusing in Reduction Semantics
, vol.59
, Issue.4
-
-
Danvy, O.1
Nielsen, L.R.2
-
32
-
-
84957875880
-
An operational investigation of the CPS hierarchy
-
S. Doaitse Swierstra, editor, number 1576 in Lecture Notes in Computer Science, Amsterdam, The Netherlands, March, Springer-Verlag
-
Olivier Danvy and Zhe Yang. An operational investigation of the CPS hierarchy. In S. Doaitse Swierstra, editor, Proceedings of the Eighth European Symposium on Programming, number 1576 in Lecture Notes in Computer Science, pages 224-242, Amsterdam, The Netherlands, March 1999. Springer-Verlag.
-
(1999)
Proceedings of the Eighth European Symposium on Programming
, pp. 224-242
-
-
Danvy, O.1
Yang, Z.2
-
33
-
-
0030674225
-
Implementing bit-addressing with specialization
-
Mads Tofte, editor, Amsterdam, The Netherlands, June, ACM Press
-
Scott Draves. Implementing bit-addressing with specialization. In Mads Tofte, editor, Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming, pages 239-250, Amsterdam, The Netherlands, June 1997. ACM Press.
-
(1997)
Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming
, pp. 239-250
-
-
Draves, S.1
-
34
-
-
84886794060
-
Normalization and partial evaluation
-
In Gilles Barthe, Peter Dybjer, Luís Pinto, and João Saraiva, editors, Caminha, Portugal, September, Springer-Verlag
-
Peter Dybjer and Andrzej Filinski. Normalization and partial evaluation. In Gilles Barthe, Peter Dybjer, Luís Pinto, and João Saraiva, editors, Applied Semantics-Advanced Lectures, number 2395 in Lecture Notes in Computer Science, pages 137-192, Caminha, Portugal, September 2000. Springer-Verlag.
-
(2000)
Applied Semantics-Advanced Lectures, Number 2395 in Lecture Notes in Computer Science
, pp. 137-192
-
-
Dybjer, P.1
Filinski, A.2
-
35
-
-
85029444996
-
-
Technical Report 615, Computer Science Department, Indiana University, Bloomington, Indiana, June
-
R. Kent Dybvig, Simon Peyton-Jones, and Amr Sabry. A monadic framework for subcontinuations. Technical Report 615, Computer Science Department, Indiana University, Bloomington, Indiana, June 2005.
-
(2005)
A Monadic Framework for Subcontinuations
-
-
Kent Dybvig, R.1
Peyton-Jones, S.2
Sabry, A.3
-
36
-
-
0003882245
-
-
PhD thesis, Computer Science Department, Indiana University, Bloomington, Indiana, August
-
Matthias Felleisen. The Calculi of λ-v-CS Conversion: A Syntactic Theory of Control and State in Imperative Higher-Order Programming Languages. PhD thesis, Computer Science Department, Indiana University, Bloomington, Indiana, August 1987.
-
(1987)
The Calculi of λ-v-CS Conversion: A Syntactic Theory of Control and State in Imperative Higher-Order Programming Languages
-
-
Felleisen, M.1
-
37
-
-
84991473765
-
The theory and practice of first-class prompts
-
Jeanne Ferrante and Peter Mager, editors, San Diego, California, January, ACM Press
-
Matthias Felleisen. The theory and practice of first-class prompts. In Jeanne Ferrante and Peter Mager, editors, Proceedings of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, pages 180-190, San Diego, California, January 1988. ACM Press.
-
(1988)
Proceedings of the Fifteenth Annual ACM Symposium on Principles of Programming Languages
, pp. 180-190
-
-
Felleisen, M.1
-
39
-
-
0002193891
-
Control operators, the SECD machine, and the λ-calculus
-
Martin Wirsing, editor, Elsevier Science Publishers B.V. (North-Holland), Amsterdam
-
Matthias Felleisen and Daniel P. Friedman. Control operators, the SECD machine, and the λ-calculus. In Martin Wirsing, editor, Formal Description of Programming Concepts III, pages 193-217. Elsevier Science Publishers B.V. (North-Holland), Amsterdam, 1986.
-
(1986)
Formal Description of Programming Concepts III
, pp. 193-217
-
-
Felleisen, M.1
Friedman, D.P.2
-
40
-
-
4243544589
-
-
Technical Report 216, Computer Science Department, Indiana University, Bloomington, Indiana, February
-
Matthias Felleisen, Daniel P. Friedman, Bruce Duba, and John Merrill. Beyond continuations. Technical Report 216, Computer Science Department, Indiana University, Bloomington, Indiana, February 1987.
-
(1987)
Beyond Continuations
-
-
Felleisen, M.1
Friedman, D.P.2
Duba, B.3
Merrill, J.4
-
41
-
-
84957628015
-
Abstract continuations: A mathematical semantics for handling full functional jumps
-
Robert (Corky) Cartwright, editor, Snowbird, Utah, July, ACM Press
-
Matthias Felleisen, Mitchell Wand, Daniel P. Friedman, and Bruce F. Duba. Abstract continuations: A mathematical semantics for handling full functional jumps. In Robert (Corky) Cartwright, editor, Proceedings of the 1988 ACM Conference on Lisp and Functional Programming, pages 52-62, Snowbird, Utah, July 1988. ACM Press.
-
(1988)
Proceedings of the 1988 ACM Conference on Lisp and Functional Programming
, pp. 52-62
-
-
Felleisen, M.1
Wand, M.2
Friedman, D.P.3
Duba, B.F.4
-
42
-
-
0028022240
-
Representing monads
-
In Hans-J. Boehm, editor, Portland, Oregon, January, ACM Press
-
Andrzej Filinski. Representing monads. In Hans-J. Boehm, editor, Proceedings of the Twenty-First Annual ACM Symposium on Principles of Programming Languages, pages 446-457, Portland, Oregon, January 1994. ACM Press.
-
(1994)
Proceedings of the Twenty-First Annual ACM Symposium on Principles of Programming Languages
, pp. 446-457
-
-
Filinski, A.1
-
43
-
-
0032646150
-
Representing layered monads
-
In Alex Aiken, editor, San Antonio, Texas, January, ACM Press
-
Andrzej Filinski. Representing layered monads. In Alex Aiken, editor, Proceedings of the Twenty-Sixth Annual ACM Symposium on Principles of Programming Languages, pages 175-188, San Antonio, Texas, January 1999. ACM Press.
-
(1999)
Proceedings of the Twenty-Sixth Annual ACM Symposium on Principles of Programming Languages
, pp. 175-188
-
-
Filinski, A.1
-
44
-
-
84888865097
-
Normalization by evaluation for the computational lambda-calculus
-
In Samson Abramsky, editor, number 2044 in Lecture Notes in Computer Science, Kraków, Poland, May, Springer-Verlag
-
Andrzej Filinski. Normalization by evaluation for the computational lambda-calculus. In Samson Abramsky, editor, Typed Lambda Calculi and Applications, 5th International Conference, TLCA 2001, number 2044 in Lecture Notes in Computer Science, pages 151-165, Kraków, Poland, May 2001. Springer-Verlag.
-
(2001)
Typed Lambda Calculi and Applications, 5Th International Conference, TLCA 2001
, pp. 151-165
-
-
Filinski, A.1
-
45
-
-
85029407573
-
-
, editor, Snowbird, Utah, September, ACM Press
-
Kathleen Fisher, editor. Proceedings of the 2004 ACM SIGPLAN International Conference on Functional Programming, Snowbird, Utah, September 2004. ACM Press.
-
(2004)
Proceedings of the 2004 ACM SIGPLAN International Conference on Functional Programming
-
-
Fisher, K.1
-
46
-
-
0036949119
-
Final shift for call/cc: Direct implementation of shift and reset
-
In Simon Peyton Jones, editor, SIGPLAN Notices, Pittsburgh, Pennsylvania, September, ACM Press
-
Martin Gasbichler and Michael Sperber. Final shift for call/cc: direct implementation of shift and reset. In Simon Peyton Jones, editor, Proceedings of the 2002 ACM SIGPLAN International Conference on Functional Programming, SIGPLAN Notices, Vol. 37, No. 9, pages 271-282, Pittsburgh, Pennsylvania, September 2002. ACM Press.
-
(2002)
Proceedings of the 2002 ACM SIGPLAN International Conference on Functional Programming
, vol.37
, Issue.9
, pp. 271-282
-
-
Gasbichler, M.1
Sperber, M.2
-
47
-
-
84990616630
-
Ginsberg. Multivalued logics: A uniform approach to reasoning in artificial intelligence
-
Matthew L. Ginsberg. Multivalued logics: a uniform approach to reasoning in artificial intelligence. Computational Intelligence, 4:265-316, 1988.
-
(1988)
Computational Intelligence
, vol.4
, pp. 265-316
-
-
Matthew, L.1
-
48
-
-
0035465993
-
The second Futamura projection for type-directed partial evaluation
-
Bernd Grobauer and Zhe Yang. The second Futamura projection for type-directed partial evaluation. Higher-Order and Symbolic Computation, 14(2/3):173-219, 2001.
-
(2001)
Higher-Order and Symbolic Computation
, vol.14
, Issue.2-3
, pp. 173-219
-
-
Grobauer, B.1
Yang, Z.2
-
49
-
-
0029191543
-
A generalization of exceptions and control in ML-like languages
-
In Simon Peyton Jones, editor, La Jolla, California, June, ACM Press
-
Carl Gunter, Didier Rémy, and Jon G. Riecke. A generalization of exceptions and control in ML-like languages. In Simon Peyton Jones, editor, Proceedings of the Seventh ACM Conference on Functional Programming and Computer Architecture, pages 12-23, La Jolla, California, June 1995. ACM Press.
-
(1995)
Proceedings of the Seventh ACM Conference on Functional Programming and Computer Architecture
, pp. 12-23
-
-
Gunter, C.1
Didier, R.2
Riecke, J.G.3
-
50
-
-
0032396220
-
Functional runtime systems within the lambda-sigma calculus
-
Thérèse Hardin, Luc Maranget, and Bruno Pagano. Functional runtime systems within the lambda-sigma calculus. Journal of Functional Programming, 8(2):131-172, 1998.
-
(1998)
Journal of Functional Programming
, vol.8
, Issue.2
, pp. 131-172
-
-
Hardin, T.1
Maranget, L.2
Pagano, B.3
-
51
-
-
0012527526
-
Two flavors of offline partial evaluation
-
Jieh Hsiang and Atsushi Ohori, editors, number 1538 in Lecture Notes in Computer Science, pages 188-205, Manila, The Philippines, December, Springer-Verlag
-
Simon Helsen and Peter Thiemann. Two flavors of offline partial evaluation. In Jieh Hsiang and Atsushi Ohori, editors, Advances in Computing Science-ASIAN’98, number 1538 in Lecture Notes in Computer Science, pages 188-205, Manila, The Philippines, December 1998. Springer-Verlag.
-
(1998)
Advances in Computing Science-ASIAN’98
-
-
Helsen, S.1
Thiemann, P.2
-
52
-
-
84976792846
-
Continuations and concurrency
-
SIGPLAN Notices, Seattle, Washington, March, ACM Press
-
Robert Hieb and R. Kent Dybvig. Continuations and concurrency. In Proceedings of the Second ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, SIGPLAN Notices, Vol. 25, No. 3, pages 128-136, Seattle, Washington, March 1990. ACM Press.
-
(1990)
Proceedings of the Second ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
, vol.25
, Issue.3
, pp. 128-136
-
-
Hieb, R.1
Kent Dybvig, R.2
-
53
-
-
0005362701
-
III. Subcontinuations
-
December
-
Robert Hieb, R. Kent Dybvig, and Claude W. Anderson, III. Subcontinuations. Lisp and Symbolic Computation, 5(4):295-326, December 1993.
-
(1993)
Lisp and Symbolic Computation
, vol.5
, Issue.4
, pp. 295-326
-
-
Hieb, R.1
Kent Dybvig, R.2
Anderson, C.W.3
-
54
-
-
0023040721
-
A novel representation of lists and its application to the function “reverse”
-
John Hughes. A novel representation of lists and its application to the function “reverse”. Information Processing Letters, 22(3):141-144, 1986.
-
(1986)
Information Processing Letters
, vol.22
, Issue.3
, pp. 141-144
-
-
Hughes, J.1
-
55
-
-
34147165326
-
Axioms for delimited continuations in the CPS hierarchy
-
In Jerzy Marcinkowski and Andrzej Tarlecki, editors, Karpacz, Poland, September, Springer
-
Yukiyoshi Kameyama. Axioms for delimited continuations in the CPS hierarchy. In Jerzy Marcinkowski and Andrzej Tarlecki, editors, Computer Science Logic, 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Proceedings, volume 3210 of Lecture Notes in Computer Science, pages 442-457, Karpacz, Poland, September 2004. Springer.
-
(2004)
Computer Science Logic, 18Th International Workshop, CSL 2004, 13Th Annual Conference of the EACSL, Proceedings, Volume 3210 of Lecture Notes in Computer Science
, pp. 442-457
-
-
Kameyama, Y.1
-
56
-
-
1142299742
-
A sound and complete axiomatization of delimited continuations
-
In Olin Shivers, editor, Uppsala, Sweden, August, ACM Press
-
Yukiyoshi Kameyama and Masahito Hasegawa. A sound and complete axiomatization of delimited continuations. In Olin Shivers, editor, Proceedings of the 2003 ACM SIGPLAN International Conference on Functional Programming, pages 177-188, Uppsala, Sweden, August 2003. ACM Press.
-
(2003)
Proceedings of the 2003 ACM SIGPLAN International Conference on Functional Programming
, pp. 177-188
-
-
Kameyama, Y.1
Hasegawa, M.2
-
57
-
-
1442283511
-
Revised5 report on the algorithmic lan-guage Scheme
-
, editors
-
Richard Kelsey, William Clinger, and Jonathan Rees, editors. Revised5 report on the algorithmic lan-guage Scheme. Higher-Order and Symbolic Computation, 11(1):7-105, 1998.
-
(1998)
Higher-Order and Symbolic Computation
, vol.11
, Issue.1
, pp. 7-105
-
-
Kelsey, R.1
Clinger, W.2
Rees, J.3
-
58
-
-
16644362749
-
A bicategorical analysis of E-categories
-
Yoshiki Kinoshita. A bicategorical analysis of E-categories. Mathematica Japonica, 47(1):157-169, 1998.
-
(1998)
Mathematica Japonica
, vol.47
, Issue.1
, pp. 157-169
-
-
Kinoshita, Y.1
-
59
-
-
33646432409
-
-
Technical Report 611, Computer Science Department, Indiana University, Bloomington, Indiana, March
-
Oleg Kiselyov. How to remove a dynamic prompt: Static and dynamic delimited continuation opera-tors are equally expressible. Technical Report 611, Computer Science Department, Indiana University, Bloomington, Indiana, March 2005.
-
(2005)
How to Remove a Dynamic Prompt: Static and Dynamic Delimited Continuation Opera-Tors are Equally Expressible
-
-
Kiselyov, O.1
-
60
-
-
0001097061
-
Landin. The mechanical evaluation of expressions
-
Peter J. Landin. The mechanical evaluation of expressions. The Computer Journal, 6(4):308-320, 1964.
-
(1964)
The Computer Journal
, vol.6
, Issue.4
, pp. 308-320
-
-
Peter, J.1
-
61
-
-
0028468159
-
Continuation-based partial evaluation
-
In Carolyn L. Talcott, editor, Orlando, Florida, June, ACM Press
-
Julia L. Lawall and Olivier Danvy. Continuation-based partial evaluation. In Carolyn L. Talcott, editor, Proceedings of the 1994 ACM Conference on Lisp and Functional Programming, LISP Pointers, Vol. 7, No. 3, pages 227-238, Orlando, Florida, June 1994. ACM Press.
-
(1994)
Proceedings of the 1994 ACM Conference on Lisp and Functional Programming, LISP Pointers
, vol.7
, Issue.3
, pp. 227-238
-
-
Lawall, J.L.1
Danvy, O.2
-
62
-
-
9744278403
-
Making a fast curry: Push/enter vs. Eval/apply for higher-order languages
-
Simon Marlow and Simon L. Peyton Jones. Making a fast curry: push/enter vs. Eval/apply for higher-order languages. In Fisher [45], pages 4-15.
-
In Fisher [45]
, pp. 4-15
-
-
Marlow, S.1
Jones, S.L.P.2
-
64
-
-
0026188821
-
Notions of computation and monads
-
Eugenio Moggi. Notions of computation and monads. Information and Computation, 93:55-92, 1991.
-
(1991)
Information and Computation
, vol.93
, pp. 55-92
-
-
Moggi, E.1
-
65
-
-
85010654460
-
Partial continuations as the difference of continuations, a du-umvirate of control operators
-
In Manuel Hermenegildo and Jaan Penjam, editors, Madrid, Spain, September, Springer-Verlag
-
Luc Moreau and Christian Queinnec. Partial continuations as the difference of continuations, a du-umvirate of control operators. In Manuel Hermenegildo and Jaan Penjam, editors, Sixth International Symposium on Programming Language Implementation and Logic Programming, number 844 in Lecture Notes in Computer Science, pages 182-197, Madrid, Spain, September 1994. Springer-Verlag.
-
(1994)
Sixth International Symposium on Programming Language Implementation and Logic Programming, Number 844 in Lecture Notes in Computer Science
, pp. 182-197
-
-
Moreau, L.1
Queinnec, C.2
-
66
-
-
1142282672
-
Control operators, hierarchies, and pseudo-classical type systems: A-translation at work
-
Olivier Danvy and Carolyn L. Talcott, editors, Technical report STAN-CS-92-1426, Stanford University, San Francisco, California, June
-
Chethan R. Murthy. Control operators, hierarchies, and pseudo-classical type systems: A-translation at work. In Olivier Danvy and Carolyn L. Talcott, editors, Proceedings of the First ACM SIGPLAN Workshop on Continuations (CW 1992), Technical report STAN-CS-92-1426, Stanford University, pages 49-72, San Francisco, California, June 1992.
-
(1992)
Proceedings of the First ACM SIGPLAN Workshop on Continuations (CW 1992)
, pp. 49-72
-
-
Murthy, C.R.1
-
67
-
-
0013066174
-
-
Research Report BRICS RS-00-47, DAIMI, Department of Computer Science, University of Aarhus, Aarhus, Denmark, December
-
Lasse R. Nielsen. A denotational investigation of defunctionalization. Research Report BRICS RS-00-47, DAIMI, Department of Computer Science, University of Aarhus, Aarhus, Denmark, December 2000.
-
(2000)
A Denotational Investigation of Defunctionalization
-
-
Nielsen, L.R.1
-
68
-
-
18944377121
-
Call-by-name, call-by-value and the
-
Gordon D. Plotkin. Call-by-name, call-by-value and the λ-calculus. Theoretical Computer Science, 1:125-159, 1975.
-
(1975)
Theoretical Computer Science
, vol.1
, pp. 125-159
-
-
Plotkin, G.D.1
-
69
-
-
0003931061
-
-
Technical Report FN-19, DAIMI, Department of Computer Science, University of Aarhus, Aarhus, Denmark, September
-
Gordon D. Plotkin. A structural approach to operational semantics. Technical Report FN-19, DAIMI, Department of Computer Science, University of Aarhus, Aarhus, Denmark, September 1981.
-
(1981)
A Structural Approach to Operational Semantics
-
-
Plotkin, G.D.1
-
70
-
-
35349016939
-
A dynamic extent control operator for partial continuations
-
Robert (Corky) Cartwright, editor, Orlando, Florida, January, ACM Press
-
Christian Queinnec and Bernard Serpette. A dynamic extent control operator for partial continuations. In Robert (Corky) Cartwright, editor, Proceedings of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, pages 174-184, Orlando, Florida, January 1991. ACM Press.
-
(1991)
Proceedings of the Eighteenth Annual ACM Symposium on Principles of Programming Languages
, pp. 174-184
-
-
Queinnec, C.1
Serpette, B.2
-
71
-
-
0032288850
-
Definitional interpreters for higher-order programming languages
-
Reprinted from the proceedings of the 25th ACM National Conference (1972), with a foreword
-
John C. Reynolds. Definitional interpreters for higher-order programming languages. Higher-Order and Symbolic Computation, 11(4):363-397, 1998. Reprinted from the proceedings of the 25th ACM National Conference (1972), with a foreword.
-
(1998)
Higher-Order and Symbolic Computation
, vol.11
, Issue.4
, pp. 363-397
-
-
Reynolds, J.C.1
-
72
-
-
33745194901
-
Shift to control
-
Olin Shivers and Oscar Waddell, editors, Technical report TR600, Computer Science Department, Indiana University, Snowbird, Utah, September
-
Chung-chieh Shan. Shift to control. In Olin Shivers and Oscar Waddell, editors, Proceedings of the 2004 ACM SIGPLAN Workshop on Scheme and Functional Programming, Technical report TR600, Computer Science Department, Indiana University, Snowbird, Utah, September 2004.
-
(2004)
Proceedings of the 2004 ACM SIGPLAN Workshop on Scheme and Functional Programming
-
-
Shan, C.-C.1
-
73
-
-
62149142646
-
-
PhD thesis, Computer Science Department, Rice University, Houston, Texas, April
-
Dorai Sitaram. Models of Control and their Implications for Programming Language Design. PhD thesis, Computer Science Department, Rice University, Houston, Texas, April 1994.
-
(1994)
Models of Control and Their Implications for Programming Language Design
-
-
Sitaram, D.1
-
74
-
-
0012609327
-
Control delimiters and their hierarchies
-
Dorai Sitaram and Matthias Felleisen. Control delimiters and their hierarchies. Lisp and Symbolic Computation, 3(1):67-99, January 1990.
-
(1990)
Lisp and Symbolic Computation
, vol.3
, Issue.1
, pp. 67-99
-
-
Sitaram, D.1
Felleisen, M.2
-
75
-
-
0025532153
-
Reasoning with continuations II: Full abstraction for models of control
-
Dorai Sitaram and Matthias Felleisen. Reasoning with continuations II: Full abstraction for models of control. In Wand [81], pages 161-175.
-
Wand [81]
, pp. 161-175
-
-
Sitaram, D.1
Felleisen, M.2
-
76
-
-
0004219535
-
-
Master’s thesis, Artificial Intelligence Laboratory, Massachusetts Institute of Technology, Cambridge, Massachusetts, May, Technical report AI-TR-474
-
Guy L. Steele, Jr. Rabbit: A compiler for Scheme. Master’s thesis, Artificial Intelligence Laboratory, Massachusetts Institute of Technology, Cambridge, Massachusetts, May 1978. Technical report AI-TR-474.
-
(1978)
Rabbit: A Compiler for Scheme
-
-
Steele, G.L.1
-
77
-
-
1142294676
-
An implementation of transparent migration on standard Scheme
-
In Matthias Felleisen, editor, Technical Report 00-368, Rice University, Montréal, Canada, September
-
Eijiro Sumii. An implementation of transparent migration on standard Scheme. In Matthias Felleisen, editor, Proceedings of the Workshop on Scheme and Functional Programming, Technical Report 00-368, Rice University, pages 61-64, Montréal, Canada, September 2000.
-
(2000)
Proceedings of the Workshop on Scheme and Functional Programming
, pp. 61-64
-
-
Sumii, E.1
-
78
-
-
0035466055
-
A hybrid approach to online and offline partial evaluation
-
Eijiro Sumii and Naoki Kobayashi. A hybrid approach to online and offline partial evaluation. Higher-Order and Symbolic Computation, 14(2/3):101-142, 2001.
-
(2001)
Higher-Order and Symbolic Computation
, vol.14
, Issue.2-3
, pp. 101-142
-
-
Sumii, E.1
Kobayashi, N.2
-
79
-
-
0000055491
-
Combinators for program generation
-
Peter Thiemann. Combinators for program generation. Journal of Functional Programming, 9(5):483-525, 1999.
-
(1999)
Journal of Functional Programming
, vol.9
, Issue.5
, pp. 483-525
-
-
Thiemann, P.1
-
80
-
-
3643106978
-
Monads and composable continuations
-
January
-
Philip Wadler. Monads and composable continuations. LISP and Symbolic Computation, 7(1):39-55, January 1994.
-
(1994)
LISP and Symbolic Computation
, vol.7
, Issue.1
, pp. 39-55
-
-
Wadler, P.1
-
82
-
-
0035728958
-
From syntactic theories to interpreters: Automating proofs of unique decomposition
-
Yong Xiao, Amr Sabry, and Zena M. Ariola. From syntactic theories to interpreters: Automating proofs of unique decomposition. Higher-Order and Symbolic Computation, 14(4):387-409, 2001.
-
(2001)
Higher-Order and Symbolic Computation
, vol.14
, Issue.4
, pp. 387-409
-
-
Xiao, Y.1
Sabry, A.2
Ariola, Z.M.3
|