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="Wells, J.B."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
PolyA: True type polymorphism for mobile ambients
Torben Amtoft
,
Henning Makholm
,
J.B. Wells
Proceedings of the 18th World Computer Congress and TC1 3rd International Conference on Theoretical Computer Science - Exploring New Frontiers of Theoretical Informatics, IFIP TCS'2004 (Toulouse, France, August 22-27, 2004)
, 2004, pp. 591-604
Principality and type inference for intersection types using expansion variables
A.J. Kfoury
,
J.B. Wells
Theoretical Computer Science
311
(1-3), 2004, pp. 1-70
The essence of principal typings
J.B. Wells
Lecture Notes in Computer Science
2380
, 2002, pp. 913-925
New notions of reduction and non-semantic proofs of strong
\beta
-normalization in typed
\lambda
-calculi
A.J. Kfoury
,
J.B. Wells
Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science (San Diego, California, June 26-29, 1995)
, 1995, pp. 311-321