The missing link - Dynamic components for ML

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

Volumn 2006, Issue , 2006, Pages 99-110

  Rossberg, Andreas ^a  

^a SAARLAND UNIVERSITY   (Germany)

Author keywords

Components; Distributed programming; Dynamic linking; Dynamic typing; Modules; Pickling; Separate compilation; Units

Indexed keywords

DISTRIBUTED PROGRAMMING; DYNAMIC LINKING; DYNAMIC TYPING; SEPARATE COMPILATION;

COMPUTATION THEORY; PICKLING; SEMANTICS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 34247237858     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1159803.1159816     Document Type: Conference Paper

References (34)

1. M. Abadi, L. Cardelli, B. Pierce, and G. Plotkin. Dynamic typing in a statically-typed language. Transactions on Programming Languages and Systems, 13(2), 1991.
2. Alice Team. The Alice System. Programming System Lab, Universität des Saarlandes, http://www.ps.un-sb.de/alica/, 2003.
3. D. Ancona and E. Zucca. A calculus of module systems. Journal of Fucntional Programming, 12(2), 2002.
4. K. Arnold and J. Gosling. The Java Programming Language. Addison-Wesley, 1996.
5. E. Bainbridge, P. Freyd, A. Scedrov, and P. Scott. Functorial polymorphism. Theoretical Computer Science, 70(1), 1989.
6. G. Bierman, M. Hicks, P. Sewell, G. Stoyle, and K. Wansbrough. Dynamic rebinding for marshalling and update, with destruct-time lambda. In Proc. 8th International Conference on Functional Programming, 2003.
7. M. Blume and A. Appel. Hierarchical modularity. Transactions on Programming Languages and Systems, 21(4), 1999.
8. L. Cardelli. Program fragments, linking, and modularization. In Proc. 24th Symposium on Principles of Programming Languages, 1997.
9. D. Dreyer. Understanding and Evolving the ML Module System. Phd thesis, Carnegie Mellon University, 2005.
10. D. Dreyer, K. Crary, and R. Harper. A type system for higher-order modules. In Proc. 30th Symposium on Principles of Programming Languages, 2003. Expanded version available as CMU Technical Report CMU-CS-02-122R.
11. D. Duchier. L. Kornstaedt, C. Schulte, and G. Smolka. A higher-order module discipline with separate compilation, dynamic linking, and pickling. Technical report, Universität des Saarlandes, 1998.
12. M. Flatt and M. Felleisen. Units: Cool modules for HOT languages. In Proc. Conference on Programming Language Design and Implementation, 1998.
13. E. Gansner and J. Reppy. The Standard ML Basis Library. Cambridge University Press, 2004.
14. J. Gosling, B. Joy, and G. Steele. The Java Programming Language Specification. Addison-Wesley, 1996.
15. R. Harper and M. Lillibridge. A type-theoretic approach to higher-order modules with sharing. In Proc. 21st Symposium on Principles of Programming Languages, 1994.
16. X. Leroy. Manifest types, modules, and separate compilation. In Proc. 21st Symposium on Principles of Programming Languages, 1994.
17. T. Lindholm and F. Yellin. The Java Virtual Machine Specification. Addison-Wesley, 1996.
18. D. MacQueen. Modules for Standard ML. In Symposium on LISP and Functional Programming, Austin, USA, 1984.
19. R. Milner, M. Tofte, R. Harper, and D. MacQueen. The Definition of Standard ML (Revised). The MIT Press, 1997.
20. J. Mitchell and G. Plotkin. Abstract types have existential type. Transactions on Programming Languages and Systems, 10(3), 1988.
21. J. Niehren, J. Schwinghammer, and G. Smolka. A concurrent lambda calculus with futures. Theoretical Computer Science, forthcoming.
22. M. Odersky. Programming in Scala. École Polytechnique Fédérale de Lausanne, 2005.
23. M. Pil. First class file I/O. volume 1268 of Lecture Notes in Computer Science. Springer-Verlag, 1996.
24. J. Reynolds. Types, abstraction and parametric polymorphism. In Information Processing. North Holland, 1983.
25. A. Rossberg. Generativity and dynamic opacity for abstract types. In Proc. Principles and Practice of Declarative Programming, 2003.
26. A. Rossberg. The definition of Standard ML with packages. Technical report, Universität des Saarlandes, 2005. www.ps.uni-sb.de/Papers.
27. A. Rossberg. The Missing Link - Dynamic Components for ML (extended). Technical report, Universität des Saarlandes, 2006.
28. A. Rossberg, D. Le Botlan, G. Tack, T. Brunklaus, and G. Smolka. Alice ML through the looking glass. In Trends in Functional Programming, volume 5. Intellect, 2006.
29. C. Russo. First-class structures for Standard ML. In Proc. 9th European Symposium on Programming, 2000.
30. P. Sewell, J. Leifer, K. Wansbrough, F. Z. Nardelli, M. Allen-Williams, P. Habouzit, and V. Vafeiadis. Acute: high-level programming language design for distributed computation. In 10th International Conference on Funcitonal Programming, 2005.
31. G. Smolka. The Oz programming model. In Computer Science. Today, volume 1000 of Lecture Notes in Computer Science. Springer, 1995.
32. D. Swasey, T. Murphy, K. Crary, and R. Harper. A separate compilation extension to standard ml. Technical Report CMU-CS-06-104, Carnegie Mellon University, 2006.
33. B. Thomsen, L. Leth, and T.-M. Kuo. A facile tutorial. In 7th International Conference on Concurrency Theory, volume 1119 of Lecture Notes in Computer Science, 1996.
34. P. Wadler. Theorems for tree! In D. MacQueen, editor, Proc. 4th International Conference on Functional Programming and Computer Architecture, 1989.