Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Wand, Mitchell"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Conditional lambda-theories and the verification of static properties of programs
Mitchell Wand
,
Zheng-Yu Wang
Information and Computation
113
(2), 1994, September, pp. 253-277
Type inference for record concatenation and multiple inheritance
Mitchell Wand
Information and Computation
93
(1), 1991, July, pp. 1-15
A short proof of the lexical addressing algorithm
Mitchell Wand
Information Processing Letters
35
, 1990, pp. 1-5
Incorporating static analysis in a combinator-based compiler
Margaret Montenyohl
,
Mitchell Wand
Information and Computation
82
(2), 1989, August, pp. 151-184
Loops in Combinator-Based Compilers
Mitchell Wand
Information and Control
57
(2/3), 1983, pp. 148-164