메뉴 건너뛰기




Volumn 2006, Issue , 2006, Pages 99-110

The missing link - Dynamic components for ML

Author keywords

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

Indexed keywords

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

EID: 34247237858     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1159803.1159816     Document Type: Conference Paper
Times cited : (12)

References (34)
  • 2
    • 34247186047 scopus 로고    scopus 로고
    • The Alice System
    • Alice Team, Universität des Saarlandes
    • Alice Team. The Alice System. Programming System Lab, Universität des Saarlandes, http://www.ps.un-sb.de/alica/, 2003.
    • (2003) Programming System Lab
  • 10
    • 0037629421 scopus 로고    scopus 로고
    • 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.
    • 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
    • 0007689396 scopus 로고    scopus 로고
    • A higher-order module discipline with separate compilation, dynamic linking, and pickling
    • Technical report, Universität des Saarlandes
    • 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.
    • (1998)
    • Duchier, D.1    Kornstaedt, L.2    Schulte, C.3    Smolka, G.4
  • 22
    • 70450218708 scopus 로고    scopus 로고
    • École Polytechnique Fédérale de Lausanne
    • M. Odersky. Programming in Scala. École Polytechnique Fédérale de Lausanne, 2005.
    • (2005) Programming in Scala
    • Odersky, M.1
  • 23
    • 84957677402 scopus 로고    scopus 로고
    • First class file I/O
    • of, Springer-Verlag
    • M. Pil. First class file I/O. volume 1268 of Lecture Notes in Computer Science. Springer-Verlag, 1996.
    • (1996) Lecture Notes in Computer Science , vol.1268
    • Pil, M.1
  • 24
    • 0000278953 scopus 로고
    • Types, abstraction and parametric polymorphism
    • North Holland
    • J. Reynolds. Types, abstraction and parametric polymorphism. In Information Processing. North Holland, 1983.
    • (1983) Information Processing
    • Reynolds, J.1
  • 26
    • 33644880938 scopus 로고    scopus 로고
    • The definition of Standard ML with packages
    • Technical report, Universität des Saarlandes
    • A. Rossberg. The definition of Standard ML with packages. Technical report, Universität des Saarlandes, 2005. www.ps.uni-sb.de/Papers.
    • (2005)
    • Rossberg, A.1
  • 27
    • 33750411533 scopus 로고    scopus 로고
    • The Missing Link - Dynamic Components for ML (extended)
    • Technical report, Universität des Saarlandes
    • A. Rossberg. The Missing Link - Dynamic Components for ML (extended). Technical report, Universität des Saarlandes, 2006.
    • (2006)
    • Rossberg, A.1
  • 31
    • 77952726925 scopus 로고
    • The Oz programming model
    • Computer Science. Today, of, Springer
    • G. Smolka. The Oz programming model. In Computer Science. Today, volume 1000 of Lecture Notes in Computer Science. Springer, 1995.
    • (1995) Lecture Notes in Computer Science , vol.1000
    • Smolka, G.1
  • 32
    • 33750424800 scopus 로고    scopus 로고
    • A separate compilation extension to standard ml
    • Technical Report CMU-CS-06-104, Carnegie Mellon University
    • 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.
    • (2006)
    • Swasey, D.1    Murphy, T.2    Crary, K.3    Harper, R.4
  • 33
    • 84955562332 scopus 로고    scopus 로고
    • B. Thomsen, L. Leth, and T.-M. Kuo. A facile tutorial. In 7th International Conference on Concurrency Theory, 1119 of Lecture Notes in Computer Science, 1996.
    • 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
    • 34247217408 scopus 로고    scopus 로고
    • P. Wadler. Theorems for tree! In D. MacQueen, editor, Proc. 4th International Conference on Functional Programming and Computer Architecture, 1989.
    • P. Wadler. Theorems for tree! In D. MacQueen, editor, Proc. 4th International Conference on Functional Programming and Computer Architecture, 1989.


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