Used together with:
infer
(1)
simpl
(1)
type
(1)
first
(1)
class
(1)
Stem
hmf$ (
all stems
)
1 papers:
ICFP-2008-Leijen
#morphism
#named
#polymorphism
#type inference
HMF: simple type inference for first-class polymorphism (
DL
), pp. 283–294.
Bibliography of Software Language Engineering in Generated Hypertext
(
BibSLEIGH
) is created and maintained by
Dr. Vadim Zaytsev
.
Hosted as a part of
SLEBOK
on
GitHub
.