Plugging Haskell in

Proceedings of the ACM SIGPLAN 2004 Haskell Workshop, Haskell'04

Volumn , Issue , 2004, Pages 10-21

  Pang, André ^a   Stewart, Don ^b   Seefried, Sean ^b   Chakravarty, Manuel M T ^b  

^a CSIRO   (Australia)

^b UNIVERSITY OF NEW SOUTH WALES   (Australia)

Author keywords

Dynamic loading; Dynamic typing; Extension languages; Functional programming; Plugins; Staged type inference

Indexed keywords

DISTRIBUTED COMPUTER SYSTEMS; DYNAMIC PROGRAMMING; EMBEDDED SYSTEMS; INTERFACES (COMPUTER); PROGRAM COMPILERS; SYNTACTICS;

DYNAMIC LOADING; DYNAMIC TYPING; EXTENSION LANGUAGES; FUNCTIONAL PROGRAMMING; PLUGINS; STAGED TYPE INFERENCE;

COMPUTER PROGRAMMING LANGUAGES;

EID: 11244347690     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1017472.1017478     Document Type: Conference Paper

References (37)

1. M. Abadi, L. Cardelli, B. Pierce, and G. Plotkin. Dynamic typing in a statically typed language. ACM Transactions on Programming Languages and Systems (TOPLAS), 13(2):237-268, 1991.
2. M. Abadi, L. Cardelli, B. Pierce, and D. Remy. Dynamic typing in polymorphic languages. Journal of Functional Programming, 5(1): 111-130, 1995.
3. M. M. T. Chakravarty et al. A Primitive Foreign Function Interface, 2004. http://www.cse.unsw.edu.au/~chak/haskell/ffi/.
4. J. Cheney and R. Hinze. A lightweight implementation of genetics and dynamics. In Proceedings of the ACM SIGPLAN workshop on Haskell, pages 90-104. ACM Press, 2002.
5. C. Colby, K. Crary, R. Harper, P. Lee, and F. Pfenning. Automated techniques for provably safe mobile code. Theor. Comput. Sci., 290(2): 1175-1199, 2003.
6. A. Courtney, H. Nilsson, and J. Peterson. The Yampa arcade. In Proceedings of the 2003 ACM SIGPLAN Haskell Workshop (Haskell'03), pages 7-18, Uppsala, Sweden, Aug. 2003. ACM Press.
7. D. Duggan. Dynamic types have existential type. Technical report, University of Waterloo, December 1994.
8. D. Duggan. Dynamic typing for distributed programming in polymorphic languages. Transactions on Programming Languages and Systems, Jan. 1999.
9. D. Duggan. Type-safe linking with recursive DLLs and shared libraries. Transactions on Programming Languages and Systems, Nov. 2002.
10. C. Elliott. Functional Image Synthesis. In Proceedings Bridges 2001, Mathematical Connections in Art, Music, and Science, 2001.
11. C. Elliott, S. Finne, and O. de Moor. Compiling embedded languages. Journal of Functional Programming, 13(3):455-481, May 2003.
12. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, 1995.
13. S. Gilmore, D. Kirli, and C. Walton. Dynamic ML without dynamic types. Technical report, The University of Edinburgh, 1997.
14. H. Hegedüs and Z. Horváth. Distributed computing based on clean dynamics. In Proceedings of the 6th International Conference on Applied Informatics, January 2004.
15. M. Hicks, S. Weirich, and K. Crary. Safe and flexible dynamic linking of native code. In Proceedings of the 3rd Workshop on Types in Compilation, pages 147-176, 2000.
16. P. Hudak. Building domain-specific embedded languages. ACM Computing Surveys (CSUR), 28(4es):196, 1996.
17. P. Hudak, T. Makucevich, S. Gadde, and B. Whong. Haskore music notation - an algebra of music. Journal of Functional Programming, 6(3):465-483, 1996.
18. L. Kornstaedt. Alice in the land of Oz: An interoperability-based implementation of a functional language on top of a relational language. In Proceedings of the First Workshop on Multi-language Infrastructure and Interoperability (BA-BEL'01). Elsevier Science Publishers, 2001.
19. K. Läufer. Combining type classes and existential types. In Proceedings of the Latin American Informatic Conference (PANEL), Sept. 1994.
20. K. Läufer. Type classes with existential types. Journal of Functional Programming, May 1996.
21. X. Leroy, D. Doligez, J. Garrigue, D. Rmy, and J. Vouillon. The Objective Caml system 3.08. http://ropas.kaist.ac.kr/caml/ocaml/, July 2004.
22. X. Leroy and M. Mauny. Dynamics in ML. In Proceedings of the 5th ACM conference on Functional programming languages and computer architecture, pages 406-426. Springer-Verlag New York, Inc., 1991.
23. S. Liang and G. Bracha. Dynamic class loading in the Java virtual machine. In Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, pages 36-44. ACM Press, 1998.
24. H. Nilsson. Functional automatic differentiation with dirac impulses. In Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, pages 153-164, Uppsala, Sweden, Aug. 2003. ACM Press.
25. J. K. Ousterhout. Scripting: Higher level programming for the 21st century. IEEE Computer, March 1998.
26. M. Pil. First class file I/O. In Implementation of Functional Languages, pages 233-246, 1996.
27. M. Pil. Dynamic types and type dependent functions. In Implementation of Functional Languages, pages 169-185, 1998.
28. R. Plasmeijer and M. van Eekelen. Concurrent clean language report version 2.1. November 2002.
29. S. Seefried, M. M. T. Chakravarty, and G. Keller. Optimising Embedded DSLs using Template Haskell. In Third International Conference on Generative Programming and Component Engineering (GPCE'04), Lecture Notes in Computer Science. Springer Verlag, 2004. To appear.
30. J. Seward, S. Marlow, A. Gill, S. Finne, and S. P. Jones. Architecture of the Haskell Execution Platform (HEP), http://www.haskell.org/ghc/docs/papers/, 1999.
31. M. Shields, T. Sheard, and S. Peyton Jones. Dynamic typing as staged type inference. In Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 289-302. ACM Press, 1998.
32. R. M. Stallman. Emacs the extensible, customizable self-documenting display editor. In Proceedings of the ACM SIG-PLAN SIGOA symposium on Text manipulation, pages 147-156, 1981.
33. The GHC Team. The Glasgow Haskell Compiler (GHC). http://haskell.org/ghc.
34. A. van Weelden and R. Plasmeijer. A type safe interactive interpreter for a functional language using compiled code (draft). In Draft Proceedings of the 15th International Workshop on Implementation of Functional Languages, pages 363-378, 2003.
35. M. Wallace, hi - hmake interactive - compiler or interpreter? In Proceedings of the 12th International Workshop on Implementation of Functional Languages, pages 339-345, 2000.
36. M. Wallace and C. Runciman. Haskell and XML: Generic combinators or type-based translation? In Proceedings of the Fourth ACM SIGPLAN International Conference on Functional Programming (ICFP'99), volume 34-9, pages 148-159, N.Y., 27-29 1999. ACM Press.
37. S. Weirich. Type-safe cast: (functional pearl). In Proceedings of the fifth ACM SIGPLAN international conference on Functional programming, pages 58-67. ACM Press, 2000.