مرکز منطقه ای اطلاع رساني علوم و فناوري - Parametricity and variants of Girardʹs J operator

Title of article :

Parametricity and variants of Girardʹs J operator

Author/Authors :

Robert Harper، نويسنده , , John C. Mitchell، نويسنده ,

Issue Information :

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

Pages :

From page :

To page :

Keywords :

Formal semantics , functional programming , Programming calculi , Theory of computation , programming languages

Journal title :

Information Processing Letters

Serial Year :

1999

Journal title :

Information Processing Letters

Record number :

129058

Link To Document :