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: Journal=Inf.~Comput. AND Volume=109
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
An extension of system
F
with subtyping
Luca Cardelli
,
Simone Martini
,
John C. Mitchell
,
Andre Scedrov
Information and Computation
109
(1/2), 1994, February/March, pp. 4-56
Decidability and confluence of
\beta\eta\mbox{ top}_{\leq}
reduction in
\mbox{\bf F}_{\leq}
Pierre-Louis Curien
,
Giorgio Ghelli
Information and Computation
109
(1/2), 1994, February/March, pp. 57-114
A type inference algorithm for a stratified polymorphic type discipline
Paola Giannini
,
Simona Ronchi Della Rocca
Information and Computation
109
(1/2), 1994, February/March, pp. 115-173
Singleton, union, and intersection types for program extraction
Susumu Hayashi
Information and Computation
109
(1/2), 1994, February/March, pp. 174-210
From term models to domains
Wesley Phoa
Information and Computation
109
(1/2), 1994, February/March, pp. 211-255
A semantics for static type inference
Gordon Plotkin
Information and Computation
109
(1/2), 1994, February/March, pp. 256-299
A semantics for static type inference in a nondeterministic language
MartÃn Abadi
Information and Computation
109
(1/2), 1994, February/March, pp. 300-306