![Software engineering / Computer programming / Software development / Programming idioms / Computability theory / Functional programming / Theoretical computer science / Logic programming / Unfolding / Recursion / Free variables and bound variables / Symbolic computation Software engineering / Computer programming / Software development / Programming idioms / Computability theory / Functional programming / Theoretical computer science / Logic programming / Unfolding / Recursion / Free variables and bound variables / Symbolic computation](https://www.pdfsearch.io/img/7fb902d39aac9d4f7ab961eb963c360f.jpg) Date: 2010-10-22 08:04:37Software engineering Computer programming Software development Programming idioms Computability theory Functional programming Theoretical computer science Logic programming Unfolding Recursion Free variables and bound variables Symbolic computation | | In: Partial Evaluation, International Seminar, Dagstuhl Castle, Germany, February 1996, Lecture Notes in Computer Science 1110, Springer, 1996 ppInvited paper) A Comparative Revisitation of Some Program TranAdd to Reading ListSource URL: repository.readscheme.orgDownload Document from Source Website File Size: 728,16 KBShare Document on Facebook
|