SCOPUS 정보 검색 플랫폼

Volumn 41, Issue 1, 2001, Pages 60-73

An overview of Edison

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; LIBRARIES; LOGIC DESIGN;

ABSTRACTIONS; EFFICIENT DATA STRUCTURES; FINITE MAPS; HASKELL PROGRAMMING LANGUAGE;

DATA STRUCTURES;

EID: 0842288104 PISSN: 15710661 EISSN: None Source Type: Journal
DOI: 10.1016/S1571-0661(05)80546-8 Document Type: Conference Paper

Times cited : (8)

References (14)

1
- 0020155045
- An efficient functional implementation of FIFO queues
- Burton F.W. An efficient functional implementation of FIFO queues. Information Processing Letters. 14:1982;205-206
- (1982) Information Processing Letters , vol.14 , pp. 205-206
- Burton, F.W.¹

2
- 0034538940
- Quickcheck: A lightweight tool for random testing of haskell programs
- Claessen, K. and J. Hughes, Quickcheck: A lightweight tool for random testing of haskell programs, in: ACM SIGPLAN International Conference on Functional Programming, 2000.
- (2000) ACM SIGPLAN International Conference on Functional Programming
- Claessen, K.¹ Hughes, J.²

3
- 0026973351
- Interfaces and specifications for the Smalltalk-80 collection classes
- Cook, W. R., Interfaces and specifications for the Smalltalk-80 collection classes, in: Conference on Object-Oriented Programming Systems, Languages, and Applications, 1992, pp. 1-15.
- (1992) Conference on Object-oriented Programming Systems, Languages, and Applications , pp. 1-15
- Cook, W.R.¹

4
- 84958757184
- A logarithmic implementation of flexible arrays, in: Conference on Mathematics of Program Construction
- Hoogerwoord, R. R., A logarithmic implementation of flexible arrays, in: Conference on Mathematics of Program Construction, LNCS 669 (1992), pp. 191-207.
- (1992) LNCS , vol.669 , pp. 191-207
- Hoogerwoord, R.R.¹

6
- 0020949767
- An applicative random-access stack
- Myers E.W. An applicative random-access stack. Information Processing Letters. 17:1983;241-248
- (1983) Information Processing Letters , vol.17 , pp. 241-248
- Myers, E.W.¹

7
- 0029178829
- Purely functional random-access lists
- Okasaki, C., Purely functional random-access lists, in: Conference on Functional Programming Languages and Computer Architecture, 1995, pp. 86-95.
- (1995) Conference on Functional Programming Languages and Computer Architecture , pp. 86-95
- Okasaki, C.¹

8
- 1542385216
- Three algorithms on Braun trees
- Okasaki C. Three algorithms on Braun trees. Journal of Functional Programming. 7:1997;661-666
- (1997) Journal of Functional Programming , vol.7 , pp. 661-666
- Okasaki, C.¹

9
- 0003991582
- Cambridge University Press
- Okasaki C. "Purely Functional Data Structures," 1998;Cambridge University Press
- (1998) Purely Functional Data Structures
- Okasaki, C.¹

10
- 0012526298
- Fast mergeable integer maps
- Okasaki C., Gill A. Fast mergeable integer maps. Workshop on ML. 1998;77-86
- (1998) Workshop on ML , pp. 77-86
- Okasaki, C.¹ Gill, A.²

11
- 84957638037
- Bulk types with class
- Peyton Jones S. Bulk types with class. Glasgow Workshop on Functional Programming. 1996
- (1996) Glasgow Workshop on Functional Programming
- Peyton, J.S.¹

12
- 0005600973
- Type classes: An exploration of the design space
- Peyton Jones, Jones S.M., Meijer E. Type classes: an exploration of the design space. Haskell Workshop. 1997
- (1997) Haskell Workshop
- Peyton, J.¹ Jones, S.M.² Meijer, E.³

13
- 0022660831
- Self-adjusting heaps
- Sleator D.D.K., Tarjan R.E. Self-adjusting heaps. SIAM Journal on Computing. 15:1986;52-69
- (1986) SIAM Journal on Computing , vol.15 , pp. 52-69
- Sleator, D.D.K.¹ Tarjan, R.E.²

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