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

메뉴 건너뛰기

Proceedings-Symposium on Logic in Computer Science

Volumn , Issue , 2002, Pages 137-146

Semantic subtyping

(3) Frisch, Alain a Castagna, Giuseppe a Benzaken, Véronique b

a ECOLE NORMALE SUPÉRIEURE (France)

b CNRS (France)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER PROGRAMMING LANGUAGES; SET THEORY; XML;

SEMANTIC SUBTYPING;

SEMANTICS;

EID: 0036049772 PISSN: 10436871 EISSN: None Source Type: Journal
DOI: 10.1109/LICS.2002.1029823 Document Type: Article

Times cited : (83)

References (7)

1
- 0027870608
- Type inclusion constraints and type inference
- Copenhagen, Denmark, June
- (1993) Proceedings of the Seventh ACM Conference on Functional Programming and Computer Architecture , pp. 31-41
- Aiken, A.¹ Wimmers, E.L.²

2
- 0002214645
- A calculus for over-loaded functions with subtyping
- (1995) Information and Computation , vol.117 , Issue.1 , pp. 115-135
- Castagna, G.¹ Ghelli, G.² Longo, G.³

3
- 1442333625
- Research Report 816, IRISA
- (1994) Subtyping with union types, intersection types and recursive types II
- Damm, F.¹

4
- 4244092181
- Types récursifs, combinaisons booléennes et fonctions surchargées: Application au typage de XML
- Université Paris 7, Sept
- (2001) DEA Programmation
- Frisch, A.¹

5
- 0003566995
- XDuce: A typed XML processing language
- (2000) Proceedings of Third International Workshop on the Web and Databases (WebDB2000)
- Hosoya, H.¹ Pierce, B.C.²

6
- 13944264575
- Regular expression pattern matching for XML
- (2001) The 25th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
- Hosoya, H.¹ Pierce, B.C.²

7
- 0034539302
- Regular expression types for XML
- (2000) Proceedings of the International Conference on Functional Programming (ICFP)
- Hosoya, H.¹ Vouillon, J.² Pierce, B.C.³

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