Title of article
Ensuring the quasi-termination of needed narrowing computations
Author/Authors
J. Guadalupe Ramos، نويسنده , , Josep Silva، نويسنده , , Germ?n Vidal، نويسنده ,
Issue Information
دوهفته نامه با شماره پیاپی سال 2007
Pages
7
From page
220
To page
226
Keywords
programming languages , functional programming , Formal semantics
Journal title
Information Processing Letters
Serial Year
2007
Journal title
Information Processing Letters
Record number
130385
Link To Document