Title of article

Visual type inference

Author/Authors

MARTIN ERWIG، نويسنده ,

Issue Information

روزنامه با شماره پیاپی سال 2006

Pages

26

From page

161

To page

186

Keywords

Polymorphic type system , Lambda calculus , graph , Type-inference algorithm

Journal title

Journal of Visual Languages and Computing

Serial Year

2006

Journal title

Journal of Visual Languages and Computing

Record number

167098