SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP

Volumn , Issue , 2001, Pages 229-240

A new notation for arrows

(1) Paterson, R a

a CITY UNIVERSITY (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

DIGITAL LIBRARIES; EMBEDDED SYSTEMS; OPTIMIZATION; SEMANTICS;

ARROWS; DOMAIN-SPECIFIC LANGUAGES; MONAD;

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

EID: 0034782551 PISSN: None EISSN: None Source Type: Conference Proceeding
DOI: 10.1145/507635.507664 Document Type: Conference Paper

Times cited : (87)

References (30)

1
- 85154002090
- Sorting networks and their applications
- (1968) AFIPS Spring Joint Conference , pp. 307-314
- Batcher, K.¹

2
- 0026953373
- The Esterel synchronous programming language: Design, semantics, implementation
- (1992) Science of Computer Programming , vol.19 , Issue.2 , pp. 87-152
- Berry, G.¹ Gonthier, G.²

3
- 0031606026
- Lava: Hardware design in Haskell
- International Conference on Functional Programming. ACM, 1998
- Bjesse, P.¹ Claessen, K.² Sheeran, M.³ Singh, S.⁴

4
- 0031588890
- Categories for computation in context and unified logic
- (1997) Journal of Pure and Applied Algebra , vol.116 , pp. 49-98
- Blute, R.¹ Cockett, J.² Seely, R.³

5
- 0027796380
- Fudgets - A graphical user interface in a lazy functional language
- ACM Press
- (1993) FPCA , pp. 321-330
- Carlsson, M.¹ Hallgren, T.²

6
- 85022163068
- LUSTRE: A declarative language for programming synchronous systems
- Munich
- (1987) 14th ACM Symposium on Principles of Programming Languages , pp. 178-188
- Caspi, P.¹ Pilaud, D.² Halbwachs, N.³ Plaice, J.⁴

7
- 84958680957
- Towards a taxonomy of functional language implementations
- (1995) Programming Languages: Implementations, Logics and Programs, Volume 982 of Lecture Notes in Computer Science , pp. 34-45
- Douence, R.¹ Fradet, P.²

8
- 0034538767
- Recursive monadic bindings
- (2000) ICFP
- Erkök, L.¹ Launchbury, J.²

9
- 84949517724
- Decomposing typed lambda calculus into a couple of categorical programming languages
- Springer
- (1995) CTCS, Volume 953 of Lecture Notes in Computer Science
- Hasegawa, M.¹

10
- 84958962360
- Recursion from cyclic sharing: Traced monoidal categories and models of cyclic lambda calculi
- Springer
- (1997) Proceedings, Third International Conference on Typed Lambda Calculi and Applications (TLCA'97), Volume 1210 of Lecture Notes in Computer Science
- Hasegawa, M.¹

11
- 0031676175
- Modular domain specific languages and tools
- (1998) International Conference on Software Reuse
- Hudak, P.¹

12
- 0033751744
- Generalising monads to arrows
- May
- (2000) Science of Computer Programming , vol.37 , pp. 67-111
- Hughes, J.¹

13
- 3042872297
- Monadic parsing in Haskell
- (1998) Journal of Functional Programming , vol.8 , Issue.4 , pp. 437-444
- Hutton, G.¹ Meijer, E.²

14
- 17144409215
- Collecting butterflies. Technical monograph PRG-91
- Oxford University Computing Laboratory, Programming Research Group, Feb.
- (1991)
- Jones, G.¹ Sheeran, M.²

15
- 17144377271
- Designing arithmetic circuits by refinement in Ruby
- In R. Bird, C. Morgan, and J. Woodcock, editors; Springer
- (1993) Mathematics of Program Construction, Volume 669 of Lecture Notes in Computer Science , pp. 208-232
- Jones, G.¹ Sheeran, M.²

16
- 84999777145
- Traced monoidal categories
- (1996) Mathematical Proceedings of the Cambridge Philosophical Society , vol.119 , Issue.3 , pp. 447-468
- Joyal, A.¹ Street, R.² Verity, D.³

17
- 0000087207
- The semantics of a simple language for parallel programming
- North Holland
- (1974) IFIP 74
- Kahn, G.¹

18
- 84976772007
- Parallel prefix computation
- (1980) J. ACM , vol.27 , pp. 831-838
- Ladner, R.¹ Fischer, M.²

19
- 84943347452
- The next 700 programming languages
- (1966) Communications of the ACM , vol.9 , Issue.3 , pp. 157-164
- Landin, P.J.¹

20
- 17144429343
- On embedding a microarchitecture design language within Haskell
- ACM
- (1999) International Conference on Functional Programming
- Launchbury, J.¹ Lewis, J.² Cook, B.³

21
- 0028548321
- Powerlist: A structure for parallel recursion
- Nov.
- (1994) ACM Trans. Prog. Lang. Syst. , vol.16 , Issue.6 , pp. 1737-1767
- Misra, J.¹

22
- 0024927385
- Computational lambda-calculus and monads
- IEEE
- (1989) Logic in Computer Science
- Moggi, E.¹

23
- 0003969789
- PhD thesis, Dept. of Computing Science, Chalmers University of Technology
- (1999) Reactive Objects and Functional Programming
- Nordlander, J.¹

24
- 0003886338
- Haskell 98: A non-strict, purely functional language, Feb.
- (1999)
- Peyton Jones, S.¹ Hughes, J.²

25
- 84955590477
- Elementary control structures
- Springer
- (1996) CONCUR'96: Concurrency Theory, Volume 1119 of Lecture Notes in Computer Science , pp. 115-130
- Power, A.¹

26
- 84887466617
- Premonoidal categories and notions of computation
- Oct.
- (1997) Mathematical Structures in Computer Science , vol.7 , Issue.5 , pp. 453-468
- Power, J.¹ Robinson, E.²

27
- 84887440542
- Closed freyd- and kappa-categories
- Springer
- (1999) ICALP, Volume 1644 of LNCS
- Power, J.¹ Thielecke, H.²

28
- 84957545443
- Deterministic, error-correcting combinator parsers
- In J. Launchbury, E. Meijer, and T. Sheard, editors; Springer
- (1996) Advanced Functional Programming, Volume 1129 of Lecture Notes in Computer Science , pp. 184-207
- Swierstra, S.D.¹ Duponcheel, L.²

29
- 0003763496
- Academic Press
- (1985) Lucid, the Dataflow Programming Language
- Wadge, W.¹ Ashcroft, E.²

30
- 0026998945
- The essence of functional programming
- Albuquerque, NM, Jan.
- (1992) 19th ACM Symposium on Principles of Programming Languages , pp. 1-14
- Wadler, P.¹

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