|
J. B. Wells and Christian Haack
Branching
types
In Programming Languages & Systems, 11th European Symp. Programming, volume 2305 of LNCS, pages 115-132 Springer-Verlag, 2002
Completely superseded by [99]
Although systems with intersection types have many
unique capabilities, there has never been a fully
satisfactory explicitly typed system with
intersection types. We introduce lambdaB with branching types and types which are
quantified over type selectors to provide an
explicitly typed system with the same expressiveness
as a system with intersection types. Typing
derivations in lambdaB effectively
squash together what would be separate parallel
derivations in earlier systems with intersection
types.
[ bib |
.pdf |
.html ]
Back
This file has been generated by
bibtex2html 1.61
Copyright notice: The documents contained
in these pages are included by the contributing authors as a means to
ensure timely dissemination of scholarly and technical work on a
non-commercial basis. Copyright and all rights therein are maintained
by the authors or by other copyright holders, notwithstanding that
they have offered their works here electronically. It is understood that all persons copying this information will
adhere to the terms and constraints invoked by each author's
copyright. These works
may not be reposted without the explicit permission of the copyright
holder.
If you experience problems downloading any of the files above,
it is most likely because your browser does not handle compressed
files correctly.
In particular, Netscape might save the file in the compressed
gz-format with extension .ps or
.pdf (indicating postscript or PDF, resp.). You can work around this by saving the file,
renaming it to .ps.gz or .pdf.gz, and then
uncrompress it.
|
