ILX: Extending the .NET Common IL for Functional Language Interoperability

  title={ILX: Extending the .NET Common IL for Functional Language Interoperability},
  author={Don Syme},
  journal={Electron. Notes Theor. Comput. Sci.},
  • Don Syme
  • Published 2001
  • Computer Science
  • Electron. Notes Theor. Comput. Sci.
  • Abstract This paper describes several extensions to the .NET Common Intermediary Language (CIL), each of which is designed to enable easier implementation of typed high-level programming languages on the .NET platform, and to promote closer integration and interoperability between these languages. In particular we aim for easier interoperability between components whose interfaces are expressed using function types, discriminated unions and parametric polymorphism, regardless of the languages… CONTINUE READING
    Dependent interoperability
    • 15
    • PDF
    Bigloo.NET: compiling Scheme to .NET CLR
    • 6
    • PDF
    RAIL: code instrumentation for .NET
    • 15
    • PDF
    AURA: a programming language for authorization and audit
    • 116
    Precision in Practice: A Type-Preserving Java Compiler
    • 33
    • Highly Influenced
    • PDF


    Publications referenced by this paper.
    Design and implementation of generics for the .NET Common language runtime
    • 236
    • PDF
    Typing a multi-language intermediate code
    • 94
    • PDF
    From ML to Ada: Strongly-Typed Language Interoperability via Source Translation
    • 102
    • PDF
    Parameterized types for Java
    • 254
    • PDF
    Typed closure conversion
    • 206
    • PDF
    Compiling standard ML to Java bytecodes
    • 152
    • PDF
    Java Needs Compound Types
    • 8
    The Java Virtual Machine Specification
    • 3,203
    • PDF