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

메뉴 건너뛰기

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

Volumn , Issue , 2001, Pages 86-97

Generic unification via two-level types and parameterized modules

(1) Sheard, T a

a NONE

Author keywords

Generic programs; Parameterized modules; Unification

Indexed keywords

COMPUTATION THEORY; COMPUTER PROGRAMMING; DATA STRUCTURES; HIGH LEVEL LANGUAGES; PROGRAM INTERPRETERS; SEMANTICS;

GENERIC PROGRAMS; PARAMETERIZED MODULES; RECURSIVE KNOT-TYPING LEVEL; STRUCTURE DEFINING LEVEL; UNIFICATION;

ALGORITHMS;

EID: 0034777576 PISSN: None EISSN: None Source Type: Conference Proceeding
DOI: 10.1145/507635.507648 Document Type: Conference Paper

Times cited : (13)

References (13)

1
- 0023331737
- Basic polymorphic typechecking
- Apr.
- (1987) Science of Computer Programming , vol.8 , Issue.2 , pp. 147-172
- Cardelli, L.¹

2
- 0028022239
- A type-theoretic approach to higher-order modules with sharing
- In ACM, editor; New York, NY, USA; ACM Press
- (1994) Conference Record of POPL '94, 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages: Papers Presented at the Symposium: Portland, Oregon, January 17-21, 1994 , pp. 123-137
- Harper, R.¹ Lillibridge, M.²

3
- 0002923989
- Advanced module systems (invited talk): A guide for the perplexed
- Sept.
- (2000) ACM SIGPLAN Notices , vol.35 , Issue.9 , pp. 130
- Harper, R.¹ Pierce, B.C.²

4
- 0002541699
- Memo functions, polytypically!
- In J. Jeuring, editor; Tech. Report UU-CS-2000-19, Dept. of Computer Science, Utrecht Univ.; June
- (2000) Proceedings 2nd Workshop on Generic Programming, WGP'2000, Ponte de Lima, Portugal, 6 July 2000 , pp. 17-32
- Hinze, R.¹

5
- 0033722168
- A new approach to generic functional programming
- N.Y., Jan. 19-21; ACM Press
- (2000) Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POLP-00) , pp. 119-132
- Hinze, R.¹

6
- 0030651808
- PolyP - a polytypic programming language extension
- In ACM, editor; New York, NY, USA; ACM Press
- (1997) Conference Record of POPL '97, the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages: Papers Presented at the Symposium, Paris, France, 15-17 January 1997 , pp. 470-482
- Jansson, P.¹ Jeuring, J.²

7
- 0032263596
- Functional pearl: Polytypic unification
- Sept.
- (1998) Journal of Functional Programming , vol.8 , Issue.5 , pp. 527-536
- Jansson, P.¹ Jeuring, J.²

8
- 84957550104
- Polytypic programming
- In J. Launchbury, E. Meijer, and T. Sheard, editors; Springer-Verlag, Berlin
- (1996) Tutorial Text 2nd Int. School on Advanced Functional Programming, Olympia, WA, USA, 26-30 Aug 1996, Volume 1129 of Lecture Notes in Computer Science , pp. 68-114
- Jeuring, J.¹ Jansson, P.²

9
- 0002977448
- Type classes and functional dependencies
- Proceedings of the 9th European Symposium on Programming, ESOP 2000, Volume LNCS 1782. Springer-Verlag, March 2000
- Jones, M.¹

10
- 0029703472
- Using parameterized signatures to express modular structure
- St. Petersburg Beach, Florida, 21-24 Jan.
- (1996) 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'96) , pp. 68-78
- Jones, M.P.¹

11
- 0002245533
- Typing haskell in haskell
- Paris, France, 21-24 Oct.; Published in Technical Report UU-CS-1999-28, Department of Computer Science, University of Utrecht
- (1999) Proceedings of the 1999 Haskell Workshop , pp. 68-78
- Jones, M.P.¹

12
- 0028098969
- Lazy functional state threads
- New York, June; ACM Press
- (1994) PLDI'94: Programming Language Design and Implementation, Orlando, Florida , pp. 24-35
- Launchbury, J.¹ Peyton-Jones, S.²

13
- 0029703265
- Putting type annotations to work
- New York, NY, USA; ACM Press
- (1996) Conference Record of POPL '96, 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages: Papers Presented at the Symposium: St. Petersburg Beach, Florida, 21-24 January 1996 , pp. 54-67
- Odersky, M.¹ Läufer, K.²

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