researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Journal: Fundamenta Infomaticae
Journals associated with the name Fundamenta Infomaticae:
Articles referring to this journal name
A Simple Algorithm and Proof for Type Inference
Mitchell Wand
.
Fundamenta Infomaticae
, 10:
115-122
,
1987.