Search Results

Showing 1 - 20 results of 143 for search 'ML (programming language)', query time: 0.32s Refine Results
  1. 1
    “...}$ that is completely separate from run-time programs, leading to the DML( ${\cal L}$ ) language schema. This enrichment...”
    Get access
    Get access
    Article in Journal/Newspaper
  2. 2
    “... separate from run-time programs, leading to the DML(L) language schema. This enrichment allows...”
    Get access
    Get access
    Text
  3. 3
    by Alam, Farhana Eva
    Published 2010
    Subjects: “...Programming languages (Electronic computers)...”
    Get access
    Thesis
  4. 4
    by Maddila, C.S. (author)
    Published 2022
    Subjects: “...Programming Languages...”
    Get access
    Get access
    Doctoral or Postdoctoral Thesis
  5. 5
    Subjects: “...Dependent ML...”
    Get access
    Get access
    Text
  6. 6
    Subjects: “...Dependent ML...”
    Get access
    Get access
    Text
  7. 7
    Subjects: “...Computer Science - Programming Languages...”
    Get access
    Get access
    Text
  8. 8
    by Hongwei Xi, Frank Pfenning
    Published 1997
    “...We present an approach to enriching ML's type system with a form of dependent types, where index...”
    Get access
    Get access
    Text
  9. 9
    “... annotated program can be reduced to constraint satisfaction. We prove that DML(C) is conservative over ML...”
    Get access
    Get access
    Text
  10. 10
    by Hongwei Xi, Frank Pfenning
    Published 1997
    “... annotated program can be reduced to constraint satisfaction. We prove that DML(C) is conservative over ML...”
    Get access
    Get access
    Text
  11. 11
    by Blair, William, Xi, Hongwei
    Published 2017
    Subjects: “...Programming Languages cs.PL...”
    Get access
    Get access
    Text
  12. 12
    by Hongwei Xi
    Published 2000
    “...), the functional programming language ML is extended with a restricted form of dependent types. This extension...”
    Get access
    Get access
    Text
  13. 13
    by Hongwei Xi, Carsten Schürmann
    Published 2001
    “...Dependent ML is a functional programming language that extends ML with a restricted form...”
    Get access
    Get access
    Text
  14. 14
    “...The mechanism for declaring datatypes in functional programming languages such as ML and Haskell...”
    Get access
    Get access
    Text
  15. 15
    “...The mechanism for declaring datatypes in functional programming languages such as ML and Haskell...”
    Get access
    Get access
    Text
  16. 16
    by Hongwei Xi, Frank Pfenning
    Published 1998
    “..., no previous type system for a general purpose programming language such as ML has combined dependent types...”
    Get access
    Get access
    Text
  17. 17
    by Hongwei Xi, Frank Pfenning
    Published 1999
    “...We present an approach to enriching the type system of ML with a restricted form of dependent types...”
    Get access
    Get access
    Text
  18. 18
    by Hongwei Xi
    Published 2000
    “... source level dependently typed imperative programming language Xanadu, forming both static and dynamic...”
    Get access
    Get access
    Text
  19. 19
    by Hongwei Xi, Frank Pfenning
    Published 1999
    “...@cs.cmu.edu Abstract We present an approach to enriching the type system of ML with a restricted form...”
    Get access
    Get access
    Text
  20. 20
    Subjects: “...generic programming...”
    Get access
    Get access
    Text
Search Tools: Get RSS Feed