SCOPUS 정보 검색 플랫폼

Electronic Notes in Theoretical Computer Science

Volumn 6, Issue , 1997, Pages 348-364

Continuation semantics and self-adjoint ness

(1) Thielecke, Hayo a

a UNIVERSITY OF EDINBURGH (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

DATA STRUCTURES; DIFFERENTIATION (CALCULUS); EQUIVALENCE CLASSES; FUNCTION EVALUATION; MATHEMATICAL MODELS; MATHEMATICAL OPERATORS; MATHEMATICAL TRANSFORMATIONS;

Λ-CALCULUS; CONTINUATION SEMANTICS; CONTRAVARIANT FUNCTORS; SEMANTIC INFRASTRUCTURE;

SEMANTICS;

EID: 0008882289 PISSN: 15710661 EISSN: None Source Type: Journal
DOI: 10.1016/S1571-0661(05)80149-5 Document Type: Conference Paper

Times cited : (20)

References (11)

1
- 0003930704
- Cambridge University Press
- Appel Andrew. Compiling with Continuations. 1992;Cambridge University Press
- (1992) Compiling with Continuations
- Appel, A.¹

2
- 80052798092
- Typing first-class continuations in ML
- January
- Bruce Duba, Robert Harper, and David MacQueen. Typing first-class continuations in ML. In Proc. ACM Symp. Principles of Programming Languages, pages 163 - 173, January 1991.
- (1991) Proc. ACM Symp. Principles of Programming Languages , pp. 163-173
- Duba, B.¹ Harper, R.² MacQueen, D.³

3
- 85031904185
- Declarative continuations: An investigation of duality in programming language semantics
- D.H. et al. Pitt. Springer-Verlag
- Filinski Andrzej. Declarative continuations: an investigation of duality in programming language semantics. Pitt D.H., et al. Category Theory and Computer Science, number 389 in Lecture Notes in Computer Science. 1989;224-249 Springer-Verlag
- (1989) Category Theory and Computer Science, Number 389 in Lecture Notes in Computer Science , pp. 224-249
- Filinski, A.¹

4
- 0004195132
- PhD thesis, School of Computer Science, Carnegie Mellon University
- Andrzej Filinski. Controlling Effects. PhD thesis, School of Computer Science, Carnegie Mellon University, 1996.
- (1996) Controlling Effects
- Filinski, A.¹

5
- 18944363853
- Sound and complete axiomatizations of call-by-value control operators. Math. Struct, in Comp
- Hofmann Martin. Sound and complete axiomatizations of call-by-value control operators. Math. Struct, in Comp. Science. 1994
- (1994) Science
- Hofmann, M.¹

6
- 0001518312
- Typing and subtyping for mobile processes
- Pierce Benjamin, Sangiorgi Davide. Typing and subtyping for mobile processes. In Logic in Computer Science, 1993. Full version in Mathematical Structures in Computer Science. 1996
- (1996) In Logic in Computer Science, 1993. Full Version in Mathematical Structures in Computer Science
- Pierce, B.¹ Sangiorgi, D.²

7
- 18944377121
- Call-by-name
- Plotkin Gordon. Call-by-name. call-by-value, and the λ-calculus. Theoretical Computer Science. 1:(2):1975;125-159
- (1975) Call-by-value, and the λ-calculus. Theoretical Computer Science , vol.1 , Issue.2 , pp. 125-159
- Plotkin, G.¹

8
- 0009230104
- submitted
- John Power. Premonoidal categories as categories with algebraic structure, (submitted).
- Premonoidal Categories As Categories with Algebraic Structure
- Power, J.¹

9
- 18944399695
- Premonoidal categories and notions of computation
- to appear
- John Power and Edmund Robinson. Premonoidal categories and notions of computation. Mathematical Structures in Computer Science, to appear.
- Mathematical Structures in Computer Science
- Power, J.¹ Robinson, E.²

10
- 0004219535
- Rabbit: A compiler for scheme
- AI TR 474 MIT, May
- Guy Steele. Rabbit: A compiler for Scheme. Technical Report AI TR 474, MIT, May 1978.
- (1978) Technical Report
- Steele, G.¹

11
- 0038507646
- Lambda: The ultimate imperative
- MIT, March
- Guy Steele and Gerald Sussman. Lambda: The ultimate imperative. Technical Report AI Memo 353, MIT, March 1976.
- (1976) Technical Report AI Memo , vol.353
- Steele, G.¹ Sussman, G.²

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