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: J. Funct. Program.
Journals associated with the name J. Funct. Program.:
Journal of Functional Programming
Articles referring to this journal name
OutsideIn(X) Modular type inference with local assumptions
Dimitrios Vytiniotis
,
Simon L. Peyton Jones
,
Tom Schrijvers
,
Martin Sulzmann
.
J. Funct. Program.
, 21(4-5):
333-412
,
2011.