<--- Back to Details
First PageDocument Content
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
Date: 2010-10-22 08:04:37
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

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 Tran

Add to Reading List

Source URL: repository.readscheme.org

Download Document from Source Website

File Size: 728,16 KB

Share Document on Facebook

Similar Documents

Does ACM’s Code of Ethics Change Ethical Decision Making in Software Development? Andrew McNamara Justin Smith

Does ACM’s Code of Ethics Change Ethical Decision Making in Software Development? Andrew McNamara Justin Smith

DocID: 1xW0L - View Document

AetherWorks 501 Fifth Avenue, New York, NYSENIOR SOFTWARE ENGINEER AETHERWORKS AetherWorks is a Software Research & Venture Development firm. We have been located on Bryant Park for the last 7 years where we have

AetherWorks 501 Fifth Avenue, New York, NYSENIOR SOFTWARE ENGINEER AETHERWORKS AetherWorks is a Software Research & Venture Development firm. We have been located on Bryant Park for the last 7 years where we have

DocID: 1xW0u - View Document

Designware: Software Development by Renement Douglas R. Smith Kestrel Institute, Palo Alto, CaliforniaUSA  Abstract

Designware: Software Development by Re nement Douglas R. Smith Kestrel Institute, Palo Alto, CaliforniaUSA Abstract

DocID: 1xUES - View Document

Practical Algorithms for Incremental Software Development Environments Tim A. Wagner March 10, 1998  Preface

Practical Algorithms for Incremental Software Development Environments Tim A. Wagner March 10, 1998 Preface

DocID: 1xUBZ - View Document

1  Roadmap for the Development of a Linear Algebra Library for Exascale Computing SLATE: Software for Linear Algebra Targeting Exascale

1 Roadmap for the Development of a Linear Algebra Library for Exascale Computing SLATE: Software for Linear Algebra Targeting Exascale

DocID: 1xUyc - View Document