On Dart-Zobel Algorithm for Testing Regular Type Inclusion

Lunjin Lu

SIGPLAN NOTICES 36(9):81-85 , 2001. Download (PostScript)



Bibtex Record

@article{LuPEPM95,
author = {L. Lu},
title = {On Dart-Zobel Algorithm for Testing Regular Type Inclusion},
url = {http://www.oakland.edu/~L2LU/pubs/DartZobel.ps},
keywords = {regular types; type inclusion; algorithm},
journal = {SIGPLAN NOTICES},
year = 2001,
pages = {81-85},
volume = 36,
number = 9,
publisher = {The ACM Press}
}