SCOPUS 정보 검색 플랫폼

Electronic Notes in Theoretical Computer Science

Volumn 1, Issue C, 1995, Pages 370-392

Call-by-name, Call-by-value, Call-by-need, and the Linear Lambda Calculus

(4) Maraist, John a Odersky, Martin a Turner, David N b Wadler, Philip b

a UNIVERSITY OF KARLSRUHE (Germany)

b UNIVERSITY OF GLASGOW (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN ALGEBRA; COMPUTATIONAL METHODS; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SCIENCE; MATHEMATICAL MODELS; SEMANTICS;

CALL BY VALUE TRANSLATIONS; INTUITIONISTIC LOGIC; LINEAR LAMBDA CALCULUS; LOGICAL TRANSLATIONS;

FORMAL LOGIC;

EID: 0348004791 PISSN: 15710661 EISSN: None Source Type: Journal
DOI: 10.1016/S1571-0661(04)00022-2 Document Type: Article

Times cited : (43)

References (37)

1
- 0027574302
- Computational interpretations of linear logic
- (1993) Theoretical Computer Science , vol.111 , pp. 3-57
- Abramsky¹

2
- 19144371930
- A call-by-need lambda calculus
- ACM Press, San Francisco, California
- (1995) Principles of Programming Languages (POPL)
- Ariola¹ Felleisen² Maraist³ Odersky⁴ Wadler⁵

3
- 84916512393
- Z. M. Ariola and M. Felleisen, The call-by-need lambda calculus. Technical report CIS-TR-94-23, Department of Computer Science, University of Oregon, October 1994.

4
- 84916520727
- Z. M. Ariola and J. W. Klop, Cyclic lambda graph rewriting. In Logic in Computer Science (LICS), Paris, France, 1994

5
- 0003749740
- North-Holland Publishing Company
- (1981) The Lambda Calculus: Its Syntax and Semantics. Volume 103 of Studies in Logic and the Foundations of Computer Science
- Barendregt¹

6
- 84916487690
- N. Benton, G. Bierman, V. de Paiva, and M. Hyland, Type assignment for intuitionistic linear logic. Technical report 262, Computing Laboratory, University of Cambridge, August 1992.

7
- 84916466669
- P. N. Benton, Strong normalisation for the linear term calculus. Technical report 305, Computing Laboratory, University of Cambridge, July 1993. To appear in Journal of Functional Programming.

8
- 84916515813
- G. Bierman, What is a categorical model of intuitionistic linear logic? Technical report 333, Computing Laboratory, University of Cambridge, April 1994. To appear in Proceedings of the Conference on Typed Lambda Calculus and Applications, Springer Verlag LNCS, April 1995.

9
- 84916474030
- G. Bierman, On Intuitionistic Linear Logic. Technical report 346, Computing Laboratory, University of Cambridge, August 1994.

10
- 84916485184
- H. P. Barendregt and K. Hemerik, Types in Lambda Calculus and Programming Languages. In European Symposium on Programming (ESOP), p. 1–35. Springer-Verlag, Lecture Notes in Computer Science 432, 1990.

11
- 0023171371
- Linear logic
- (1987) Theoretical Computer Science , vol.50 , pp. 1-102
- Girard¹

12
- 0000920889
- On the unity of logic
- (1993) Annals of Pure and Applied Logic , vol.59 , pp. 201-217
- Girard¹

13
- 0026995979
- The geometry of optimal lambda reduction
- ACM Press, Albuquerque, New Mexico
- (1992) Principles of Programming Languages (POPL)
- Gonthier¹ Abadi² Levy³

14
- 84916479859
- S. Holmström, A linear functional language. Draft paper, Chalmers University of Technology, 1988.

15
- 0001818904
- Semantics of weakening and contraction
- (1994) Annals of Pure and Applied Logic , vol.69 , pp. 73-106
- Jacobs¹

16
- 0024035606
- The linear abstract machine
- (1988) Theoretical Computer Science , vol.59 , pp. 157-180
- Lafont¹

17
- 84916483525
- J. Launchbury, A natural semantics for lazy evaluation, Symposium on Principles of Programming Languages, ACM Press, Charleston, South Carolina, January 1993.

18
- 84916516312
- P. Lincoln and J. Mitchell, Operational aspects of linear lambda calculus. In 7'th Symposium on Logic in Computer Science, IEEE Press, Santa Cruz, California, June 1992.

19
- 84916462803
- I. Mackie, Lilac: a functional programming language based on linear logic. Master's Thesis, Imperial College London, 1991.

20
- 84916483195
- I. Mackie, The Geometry of Implementation. Doctoral Thesis, Imperial College London, 1994.

21
- 84916478505
- E. Moggi, Computational lambda-calculus and monads. Technical report ECS-LFCS-88-66, Laboratory for the Foundations of Computer Science, University of Edinburgh, October 1988.

22
- 84916490901
- E. Moggi, Computational lambda-calculus and monads. In 4'th Symposium on Logic in Computer Science, IEEE Press, Asilomar, California, June 1989.

23
- 84916505880
- J. Maraist, M. Odersky, D. N. Turner, and P. Wadler, Call-by-name, call-by-value, call-by-need, and the linear lambda calculus. Technical report, Fakultät für Informatik, Universität Karlsruhe and Department of Computing Science, University of Glasgow, March 1995.

24
- 84916475121
- J. Maraist, M. Odersky, and P. Wadler, The call-by-need lambda calculus, Technical report, Fakultät für Informatik, Universität Karlsruhe, and Department of Computing Science, University of Glasgow, October 1994.

25
- 18944377121
- Call-by-name, call-by-value, and the lambda calculus
- (1975) Theoretical Computer Science , vol.1 , pp. 125-159
- Plotkin¹

26
- 84916475433
- G. D. Plotkin, Private communication. (During the 1993 MFPS, even!)

27
- 0000798744
- The discoveries of continuations
- (1993) Lisp and Symbolic Computation , vol.6 , Issue.3-4 , pp. 233-248
- Reynolds¹

28
- 84916481362
- S. R. della Rocca and L. Roversi, Lambda calculus and intuitionistic linear logic. Manuscript, July 1994. (Available from L. Roversi, University of Pisa, rover@di.unipi.it.)

29
- 84916468498
- H. Schellinx, The noble art of linear decorating. Ph.D. dissertation, Institute for Logic, Language, and Computation, University of Amsterdam, 1994.

30
- 84916507465
- R. A. G. Seely, Linear logic, ∗-autonomous categories, and cofree coalgebras. In Categories in Computer Science and Logic, June 1989. AMS Contemporary Mathematics 92.

31
- 0000307929
- Reasoning about programs in continuation-passing style
- (1993) Lisp and Symbolic Computation , vol.6 , Issue.3-4 , pp. 289-360
- Sabry¹ Felleisen²

32
- 84916465536
- A. S. Troelstra, Lectures on Linear Logic. CSLI Lecture Notes, 1992.

33
- 84916514742
- D. N. Turner, P. Wadler, and C. Mossin, Once upon a type. In Functional Programming and Computer Architecture (FPCA), San Diego, California, June 1995.

34
- 0003232884
- Linear types can change the world!
- M. Broy, C. Jones, North Holland, Sea of Galilee, Israel
- (1990) Programming Concepts and Methods
- Wadler¹

35
- 84972466789
- Is there a use for linear logic?
- ACM Press, New Haven, Connecticut
- (1991) Partial Evaluation and Semantics-Based Program Manipulation (PEPM)
- Wadler¹

36
- 84916479753
- P. Wadler, A syntax for linear logic. Ninth International Conference on the Mathematical Foundations of Programming Semantics, New Orleans, Louisiana, April 1993. Springer Verlag, LNCS 802.

37
- 0040620014
- A taste of linear logic
- Gdansk, Poland, Springer Verlag, LNCS 711
- (1993) Mathematical Foundations of Computer Science
- Wadler¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.