-
1by Hongwei Xi“... source level dependently typed imperative programming language Xanadu, forming both static and dynamic...”
Published 2000
Get access
Get access
Text -
2by Hongwei Xi“.... We then present the design of a source level dependently typed imperative programming language Xanadu...”
Published 2000
Get access
Get access
Text -
3“...The notion of program transformation is ubiquitous in programming language studies on interpreters...”
Get access
Get access
Text -
4“...The notion of program transformation is ubiquitous in programming language studies on interpreters...”
Get access
Get access
Text -
5“...Dependent ML is a functional programming language that extends ML with a restricted form...”
Get access
Get access
Text -
6“...Dependent ML is a functional programming language that extends ML with a restricted form...”
Get access
Get access
Text -
7by Hongwei Xi“.... Pattern matching is an important feature in various functional programming languages such as SML...”
Published 1999
Get access
Get access
Text -
8by Hongwei Xi“... difficult task to design a termination checker for a realistic programming language that supports general...”
Published 2000
Get access
Get access
Text -
9by Hongwei Xi“... difficult task to design a termination checker for a realistic programming language that supports general...”
Published 2001
Get access
Get access
Text -
10by Hongwei Xi“..., no previous type system for a general purpose programming language such as ML has combined dependent types...”
Get access
Get access
Text -
11“..., no previous type system for a general purpose programming language such as ML has combined dependent types...”
Get access
Get access
Text -
12“... practical. To our knowledge, no previous type system for a general purpose programming language such as ML...”
Get access
Get access
Text -
13by William Blair, Hongwei Xi“...Synchronous programming languages emerged in the 1980s as tools for implementing reactive systems...”
Published in Electronic Proceedings in Theoretical Computer Science (2017)
Get access
Get access
Article in Journal/Newspaper -
14by Hongwei Xi“...The mechanism for declaring datatypes to model data structures in functional programming languages...”
Published 2003
Get access
Get access
Text -
15by Hongwei Xi“...The mechanism for declaring datatypes to model data structures in functional programming languages...”
Published 1999
Get access
Get access
Text -
16by Hongwei Xi“...The mechanism for declaring datatypes to model data structures in functional programming languages...”
Published 2003
Get access
Get access
Text -
17by Hongwei Xi“...Abstract: The mechanism for declaring datatypes to model data structures in programming languages...”
Published 2003
Get access
Get access
Text -
18by Hongwei Xi“...The mechanism for declaring datatypes to model data structures in programming languages...”
Published 2003
Get access
Get access
Text -
19by Hongwei Xi“...The mechanism for declaring datatypes to model data structures in functional programming languages...”
Get access
Get access
Text -
20by Hongwei Xi“...Abstract. The mechanism for declaring datatypes to model data structures in functional programming...”
Published 2003
Get access
Get access
Text