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

메뉴 건너뛰기

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 2001, Pages 261-275

Type-indexed rows

(2) Shields, Mark a Meijer, Erik b

a OREGON HEALTH AND SCIENCE UNIVERSITY (United States)

b UTRECHT UNIVERSITY (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; CONSTRAINT THEORY; INDEXING (OF INFORMATION); OBJECT ORIENTED PROGRAMMING;

POLYMORPHISM; TYPE INFERENCE SYSTEM; TYPE-INDEXED ROWS;

XML;

EID: 0035037988 PISSN: 07308566 EISSN: None Source Type: Conference Proceeding
DOI: 10.1145/360204.360230 Document Type: Conference Paper

Times cited : (25)

References (31)

1
- 0033226029
- Introduction to set constraint-based program analysis
- (1999) Science of Computer Programming , vol.35 , pp. 79-111
- Aiken, A.¹

2
- 0027870608
- Type inclusion constraints and type inference
- Jun
- (1993) Proceedings of the ACM SIGPLAN Conference on Functional Programming Languages and Computer Architecture (FPCA'93), Copenhagen, Denmark , pp. 31-41
- Aiken, A.¹ Wimmers, E.L.²

3
- 0001526119
- Intersection and union types: Syntax and semantics
- Jun
- (1995) Information and Computation , vol.119 , Issue.2 , pp. 202-230
- Barbanera, F.¹ Dezani-Ciancaglini, M.² De'Liguoro, U.³

4
- 84862711593
- Unambiguous regular expressions and SGML document grammars
- Computer Science Department, University of Western Ontario, London, Ontario, Canada, Nov
- (1992) Technical Report 337
- Brüggemann-Klein, A.¹ Wood, D.²

5
- 33746753580
- Union types for semistructured data
- Also available as University of Pennsylvania Dept. of CIS technical report MS-CIS-99-09
- Proceedings of the International Database Programming Languages Workshop (DBPL-7), Kinloch Rannoch, Scotland, Sep 1999
- Buneman, P.¹ Pierce, B.²

6
- 84976189160
- Operations on records
- Mar
- (1991) Mathematical Structures in Computer Science , vol.1 , Issue.1 , pp. 3-48
- Cardelli, L.¹ Mitchell, J.²

7
- 0005007552
- A polymorphic type system for extensible records and variants
- Department of Computer Science, University of Nottingham, Nov
- (1996) Technical Report NOTTCS-TR-96-3
- Gaster, B.R.¹ Jones, M.P.²

8
- 0003518498
- The Java Series, Sun Microsystems. Addison-Wesley
- (1996) The Java Language Specification
- Gosling, J.¹ Joy, B.² Steele, G.³

9
- 84958189392
- A record calculus based on symmetric concatenation
- Jan
- (1991) Proceedings of the Eighteenth Annual ACM Symposium on Principles of Programming Languages (POPL'91), Orlando, Florida , pp. 131-142
- Harper, R.¹ Pierce, B.²

10
- 0034539302
- Regular expression types for XML
- Sep
- (2000) Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP'00), Montreal, Canada , pp. 11-22
- Hosoya, H.¹ Vouillon, J.² Pierce, B.C.³

11
- 0005017911
- Lightweight extensible records for Haskell
- Published in Technical Report UU-CS-1999-28, Department of Computer Science, University of Utrecht
- Proceedings of the 1999 Haskell Workshop, Paris, France, Oct 1999
- Jones, M.¹ Jones, S.P.²

12
- 0003465573
- Distinguished Dissertations in Computer Science. Cambridge University Press
- (1994) Qualified Types: Theory and Practice
- Jones, M.P.¹

13
- 0029190155
- Simplifying and improving qualified types
- Jun
- (1995) Proceedings of the ACM SIGPLAN Conference on Functional Programming Languages and Computer Architecture (FPCA'95), La Jolla, California , pp. 160-169
- Jones, M.P.¹

14
- 0033705215
- Implicit parameters: Dynamic scoping with static types
- Jan
- (2000) Proceedings of the 27th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'00), Boston, Massachusetts , pp. 108-118
- Lewis, J.¹ Shields, M.² Meijer, E.³ Launchbury, J.⁴

15
- 0021230898
- An ideal model for recursive polymorphic types
- (1984) Proceedings of the Eleventh Annual ACM Symposium on Principles of Programming Languages (POPL'84), Salt Lake City, Utah , pp. 165-174
- MacQueen, D.¹ Plotkin, G.² Sethi, R.³

16
- 0003896895
- XMλ: A functional language for constructing and manipulating XML documents
- (Unpublished)
- (1999)
- Meijer, E.¹ Shields, M.²

17
- 0033707829
- Typechecking for XML transformers
- May
- (2000) Proceedings of the Nineteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (SIGMOD/PODS 2000), Dallas, Texas , pp. 11-22
- Milo, T.¹ Suciu, D.² Vianu, V.³

18
- 0032761040
- Type inference with constrained types
- (1999) Theory and Practice of Object Systems , vol.5 , Issue.1 , pp. 35-55
- Odersky, M.¹ Sulzmann, M.² Wehr, M.³

19
- 0029404987
- A polymorphic record calculus and its compilation
- Nov; Earlier version appears in POPL'93
- (1995) ACM Transactions on Programming Languages and Systems , vol.17 , Issue.6 , pp. 844-895
- Ohori, A.¹

20
- 0003886338
- Feb
- (1999) Haskell 98: A Non-Strick, Purely Functional Language
- Jones, S.P.¹ Hughes, J.²

21
- 0005096066
- Intersection types and bounded polymorphism
- Apr
- (1997) Mathematical Structures in Computer Science , vol.7 , Issue.2 , pp. 129-193
- Pierce, B.C.¹

22
- 0026982458
- Typing record concatenation for free
- Jan
- (1992) Proceedings of the Nineteenth Annual ACM Symposium on Principles of Programming Languages (POPL'92), Albuquerque, New Mexico , pp. 166-176
- Rémy, D.¹

23
- 0003267190
- Type inference for records in a natural extension of ML
- In C. A. Gunter and J. C. Mitchell, editors; The MIT Press; Earlier verision appears in POPL'89
- (1993) Theoretical Aspects of Object-Oriented Programming. Types, Semantics and Language Design , pp. 77-87
- Rémy, D.¹

24
- 0013419335
- Design of the programming language forsythe
- In P. W. O'Hearn and R. D. Tennent, editors; Birkhäuser
- (1997) ALGOL-Like Languages , pp. 173-233
- Reynolds, J.C.¹

25
- 0005007555
- PhD thesis, Oregon Graduate Institute, Jan; (To appear. Draft)
- (2001) Static Types for Dynamic Documents
- Shields, M.¹

26
- 0032675774
- An algorithm for general set unification and its complexity
- Jan
- (1999) Journal of Automated Reasoning , vol.22 , Issue.1 , pp. 45-63
- Stolzenburg, F.¹

27
- 0003551095
- Extensible markup language
- (2000)

28
- 0024864871
- How to make ad-hoc polymorphism less ad hoc
- Jan
- (1989) Proceedings of the Sixteenth Annual ACM Symposium on Principles of Programming Languages (POPL'89), Austin, Texas , pp. 60-76
- Wadler, P.¹ Blott, S.²

29
- 17144405687
- Haskell and XML: Generic combinators or type-based translation?
- Sep
- (1999) Proceedings of the Fourth ACM SIGPLAN International Conference on Functional Programming (ICFP'99), Paris, France , pp. 148-159
- Wallace, M.¹ Ranciman, C.²

30
- 0023210290
- Complete type inference for simple objects
- Jun; Corrigendum in LICS'88
- (1987) Proceedings of the Second Annual IEEE Symposium on Logic in Computer Science, (LICS'87), Ithaca, New York , pp. 37-44
- Wand, M.¹

31
- 0026187053
- Type inference for record concatenation and multiple inheritance
- Jul
- (1991) Information and Computation , vol.93 , Issue.1 , pp. 1-15
- Wand, M.¹

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