Search Results

Showing 1 - 20 results of 23 for search '"programming language"', query time: 0.07s Refine Results
  1. 1
    by Hongwei Xi
    Published 2000
    “... source level dependently typed imperative programming language Xanadu, forming both static and dynamic...”
    Get access
    Get access
    Text
  2. 2
    by Hongwei Xi
    Published 2000
    “.... We then present the design of a source level dependently typed imperative programming language Xanadu...”
    Get access
    Get access
    Text
  3. 3
    by Chiyan Chen, Hongwei Xi
    Published 2003
    “...The notion of program transformation is ubiquitous in programming language studies on interpreters...”
    Get access
    Get access
    Text
  4. 4
    “...The notion of program transformation is ubiquitous in programming language studies on interpreters...”
    Get access
    Get access
    Text
  5. 5
    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
  6. 6
    “...Dependent ML is a functional programming language that extends ML with a restricted form...”
    Get access
    Get access
    Text
  7. 7
    by Hongwei Xi
    Published 1999
    “.... Pattern matching is an important feature in various functional programming languages such as SML...”
    Get access
    Get access
    Text
  8. 8
    by Hongwei Xi
    Published 2000
    “... difficult task to design a termination checker for a realistic programming language that supports general...”
    Get access
    Get access
    Text
  9. 9
    by Hongwei Xi
    Published 2001
    “... difficult task to design a termination checker for a realistic programming language that supports general...”
    Get access
    Get access
    Text
  10. 10
    “..., no previous type system for a general purpose programming language such as ML has combined dependent types...”
    Get access
    Get access
    Text
  11. 11
    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
  12. 12
    “... practical. To our knowledge, no previous type system for a general purpose programming language such as ML...”
    Get access
    Get access
    Text
  13. 13
    “...Synchronous programming languages emerged in the 1980s as tools for implementing reactive systems...”
    Get access
    Get access
    Article in Journal/Newspaper
  14. 14
    by Hongwei Xi
    Published 2003
    “...The mechanism for declaring datatypes to model data structures in functional programming languages...”
    Get access
    Get access
    Text
  15. 15
    by Hongwei Xi
    Published 1999
    “...The mechanism for declaring datatypes to model data structures in functional programming languages...”
    Get access
    Get access
    Text
  16. 16
    by Hongwei Xi
    Published 2003
    “...The mechanism for declaring datatypes to model data structures in functional programming languages...”
    Get access
    Get access
    Text
  17. 17
    by Hongwei Xi
    Published 2003
    “...Abstract: The mechanism for declaring datatypes to model data structures in programming languages...”
    Get access
    Get access
    Text
  18. 18
    by Hongwei Xi
    Published 2003
    “...The mechanism for declaring datatypes to model data structures in programming languages...”
    Get access
    Get access
    Text
  19. 19
    “...The mechanism for declaring datatypes to model data structures in functional programming languages...”
    Get access
    Get access
    Text
  20. 20
    by Hongwei Xi
    Published 2003
    “...Abstract. The mechanism for declaring datatypes to model data structures in functional programming...”
    Get access
    Get access
    Text
Search Tools: Get RSS Feed