BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
hindley (5)
type (5)
infer (4)
use (3)
style (3)

Stem milner$ (all stems)

10 papers:

PEPMPEPM-J-2013-Simon14 #type inference #using
Deriving a complete type inference for Hindley-Milner and vector sizes using expansion (AS), pp. 254–271.
ICFPICFP-2014-Pottier #functional
Hindley-milner elaboration in applicative style: functional pearl (FP), pp. 203–212.
PEPMPEPM-2013-Simon #type inference #using
Deriving a complete type inference for hindley-milner and vector sizes using expansion (AS), pp. 13–22.
POPLPOPL-2011-GordonHHJS #concurrent #verification
Robin Milner 1934--2010: verification, languages, and concurrency (ADG, RH, JH, AJ, PS), pp. 473–474.
LICSLICS-2010-Plotkin #tool support
Robin Milner, a Craftsman of Tools for the Mind (GDP), pp. 58–59.
FLOPSFLOPS-2001-Sulzmann #framework #type inference
A General Type Inference Framework for Hindley/Milner Style Systems (MS), pp. 248–263.
FoSSaCSFoSSaCS-1999-AcetoI #logic #recursion #testing
Testing Hennessy-Milner Logic with Recursion (LA, AI), pp. 41–55.
LICSLICS-1995-Simpson #composition #logic
Compositionality via Cut-Elimination: Hennessy-Milner Logic for an Arbitrary GSOS (AKS), pp. 420–430.
LISPLFP-1994-Hall #representation #type inference #using
Using Hindley-Milner Type Inference to Optimise List Representation (CVH), pp. 162–172.
POPLPOPL-1984-Wand #morphism #polymorphism #semantics
A Types-as-Sets Semantics for Milner-Style Polymorphism (MW), pp. 158–164.

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.