Extending Hindley-Milner Type Inference with Coercive Structural Subtyping

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Original languageEnglish
Title of host publicationAPLAS 2011
EditorsHongseok Yang
Number of pages16
Volume7078
PublisherSpringer Berlin/Heidelberg
Publication date2011
Pages89-104
DOIs
Publication statusPublished - 2011
SeriesLNCS

ID: 245668345