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

메뉴 건너뛰기

Journal of Functional Programming

Volumn 12, Issue 4-5, 2002, Pages 435-468

A typed representation for HTML and XML documents in Haskell

(1) Thiemann, Peter a

a UNIVERSITY OF FREIBURG (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAM LISTINGS; COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; INFORMATION DISSEMINATION; LIBRARIES; WEBSITES; XML;

COMBINATOR LIBRARY;

HTML;

EID: 0036058181 PISSN: 09567968 EISSN: None Source Type: Journal
DOI: 10.1017/S0956796802004392 Document Type: Article

Times cited : (29)

References (33)

1
- 84939541314
- Experience with a domain specific language for form-based services
- USENIX
- (1997) Conference on Domainspecific Languages
- Atkinson, D.¹ Ball, T.² Benedikt, M.³ Bruns, G.⁴ Cox, K.⁵ Mataga, P.⁶ Rehor, K.⁷

2
- 0034819587
- Static validation of dynamically generated HTML
- Field, J. and Snelting, G., editors, ACM
- (2001) Workshop on Program Analysis for Software Tools and Engineering, PASTE'O1 , pp. 38-45
- Brabrand, C.¹ Møller, A.² Schwartzbach, M.I.³

3
- 0003551091
- (1998) Extensible markup language (XML) 1.0 (W3C Recommendation)
- Bray, T.¹ Paoli, J.² Sperberg-MacQueen, C.M.³

4
- 0005523089
- One-unambiguous regular languages
- (1998) Infor. & Computation , vol.140 , Issue.2 , pp. 229-253
- Brüggemann-Klein, A.¹ Wood, D.²

5
- 84876652947
- Infor. & Computation , vol.142 , Issue.2 , pp. 182-206

6
- 84876608323
- (1997) WWW programming using computational logic systems (and the PiLLoW/CIAO library)
- Cabeza, D.¹ Hermenegildo, M.²

7
- 0032093472
- Your mediators need data conversion!
- Haas, L. and Tiwary, A., editors. Seattle, WA. ACM Press. (SIGMOD Record (ACM Special Interest Group on Management of Data), 27(2.))
- (1998) Proceedings 1998 ACM SIGMOD International Conference on Management of Data , pp. 177-188
- Cluet, S.¹ Delobel, C.² Siméon, J.³ Smaga, K.⁴

8
- 0009454403
- A semi-monad for semi-structured data
- (2001) ICDT
- Fernandez, M.¹ Siméon, J.² Wadler, P.³

9
- 84876607650
- Server side web scripting in Curry
- (2000) Workshop on (Constraint) Logic Programming and Software Engineering (LPSE2000)
- Hanus, M.¹

10
- 84949186087
- High-level server side web scripting in Curry
- Springer-Verlag
- (2001) Practical Aspects of Declarative Languages: Proceedings 3rd International Workshop, PADL'O1: Lecture Notes in Computer Science
- Hanus, M.¹

11
- 0003886338
- (1998) Haskell 98, a non-strict, purely functional language

12
- 0003620778
- Addison-Wesley
- (1979) Introduction to Automata Theory, Languages and Computation
- Hopcroft, J.E.¹ Ullman, J.D.²

13
- 84944239579
- XDuce: A typed XML processing language
- Suciu, D. and Vossen, G., editors, Springer-Verlag
- (2000) The World Wide Web and Databases: 3rd International Workshop WebDB2000: Lecture Notes in Computer Science 1997 , pp. 226-244
- Hosoya, H.¹ Pierce, B.C.²

14
- 0035042201
- Regular expression pattern matching for XML
- Nielson, H. R., editor, ACM Press
- (2001) Proc. 28th Annual ACM Symposium on Principles of Programming Languages
- Hosoya, H.¹ Pierce, B.C.²

15
- 0034539302
- Regular expression types for XML
- Wadler, P., editor. ACM Press
- (2000) Proc. International Conference on Functional Programming , pp. 11-22
- Hosoya, H.¹ Vouillon, J.² Pierce, B.C.³

16
- 0003449827
- HTML 4.01
- (1999) HTML 4.01 specification

17
- 0033751744
- Generalising monads to arrows
- (2000) Sci. Comput. Programming , vol.37 , pp. 67-111
- Hughes, J.¹

18
- 84947265273
- Type classes with functional dependencies
- Smolka, G., editor, Springer-Verlag
- (2000) Proc. 9th European Symposium on Programming: Lecture Notes in Computer Science 1782
- Jones, M.P.¹

19
- 0029701735
- Logic programming with the world-wide web
- (1996) Proceedings 7th ACM Conference on Hypertext, Hypertext '96 , pp. 235-245
- Loke, S.W.¹ Davison, A.²

20
- 0034419288
- Server-side web scripting with Haskell
- (2000) J. Functional Programming , vol.10 , Issue.1 , pp. 1-18
- Meijer, E.¹

21
- 84876618479
- ACM Press
- (2001) Proc. 28th Annual ACM Symposium on Principles of Programming Languages
- Nielson, H.R.¹

22
- 18944370026
- Type classes: An exploration of the design space
- Launchbury, J., editor, (Yale University Research Report YALEU/DCS/RR-1075.)
- (1997) Proc. of the Haskell Workshop
- Peyton Jones, S.¹ Jones, M.² Meijer, E.³

23
- 0026982458
- Typing record concatenation for free
- ACM Press
- (1992) Proc. 19th Annual ACM Symposium on Principles of Programming Languages , pp. 166-176
- Rémy, D.¹

24
- 0033687421
- A type system for dynamic web documents
- Reps, T., editor, ACM Press
- (2000) Proc. 27th Annual ACM Symposium on Principles of Programming Languages , pp. 290-301
- Sandholm, A.¹ Schwartzbach, M.I.²

25
- 0035037988
- Type-indexed rows
- Nielson, H. R., editor, ACM Press
- (2001) Proc. 28th Annual ACM Symposium on Principles of Programming Languages
- Shields, M.¹ Meijer, E.²

26
- 84957808191
- Modeling HTML in Haskell
- (2000) Practical Aspects of Declarative Languages: Proceedings 2nd International Workshop, PADL'O0: Lecture Notes in Computer Science , vol.1753 , pp. 263-277
- Thiemann, P.¹

27
- 17144405687
- Haskell and XML: Generic combinators or type-based translation?
- Lee, P., editor, ACM Press
- (1999) Proc. International Conference on Functional Programming 1999 , pp. 148-259
- Wallace, M.¹ Runciman, C.²

28
- 0024900567
- Type inference for record concatenation and multiple inheritance
- IEEE Press
- (1989) Proc. 4th Annual Symposium on Logic in Computer Science , pp. 92-97
- Wand, M.¹

29
- 1542699963
- WASH
- (2001) Web authoring system in Haskel

30
- 84876606973
- (2000) XML schema part 1: Structures, working draft

31
- 84876643307
- (2000) XML schema part 2: Datatypes, working draft

32
- 0003856119
- XHTML 1.0
- (2000) XHTML 1.0: The extensible hypertext markup language

33
- 0003551091
- XML1.0
- (2000) Extensible markup language (XML) 1.0 (second edition)

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