مرکز منطقه ای اطلاع رساني علوم و فناوري

Title of article :

Visual type inference

Author/Authors :

MARTIN ERWIG، نويسنده ,

Issue Information :

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

Pages :

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

Link To Document :