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

Title of article :

A type system for the push-enter model

Author/Authors :

Kwanghoon Choi، نويسنده , , Taisook Han، نويسنده ,

Issue Information :

دوهفته نامه با شماره پیاپی سال 2003

Pages :

From page :

205

To page :

211

Keywords :

type systems , Push-enter model , Typed compilation , Higher-order functions , Compilers , programming languages

Journal title :

Information Processing Letters

Serial Year :

2003

Journal title :

Information Processing Letters

Record number :

129764

Link To Document :