Sciweavers

Share
243 search results - page 1 / 49
» Dependent ML An approach to practical programming with depen...
Sort
View
JFP
2007
112views more  JFP 2007»
9 years 9 months ago
Dependent ML An approach to practical programming with dependent types
We present an approach to enriching the type system of ML with a restricted form of de
Hongwei Xi
PLDI
1998
ACM
10 years 1 months ago
Eliminating Array Bound Checking Through Dependent Types
We present a type-based approach to eliminating array bound checking and list tag checking by conservatively extending Standard ML with a restricted form of dependent types. This ...
Hongwei Xi, Frank Pfenning
LISP
2002
107views more  LISP 2002»
9 years 9 months ago
Dependent Types for Program Termination Verification
Program termination verification is a challenging research subject of significant practical importance. While there is already a rich body of literature on this subject, it is sti...
Hongwei Xi
FLOPS
2008
Springer
9 years 11 months ago
On-Demand Refinement of Dependent Types
Dependent types are useful for statically checking detailed specifications of programs and detecting pattern match or array bounds errors. We propose a novel approach to applicatio...
Hiroshi Unno, Naoki Kobayashi
ICFP
2001
ACM
10 years 9 months ago
A Dependently Typed Assembly Language
We present a dependently typed assembly language (DTAL) in which the type system supports the use of a restricted form of dependent types, reaping some benefits of dependent types...
Hongwei Xi, Robert Harper
books