Functional Program Transformation Textbooks?

Article View: comp.lang.functional

Article #32

Back to comp.lang.functional Previous Next

#32

From: Frank Pfenning
Date: Mon, 02 Nov 1992 18:25

9 lines
1054 bytes

I am looking for textbooks on program transformation which would be
appropriate for a graduate level course.  Any comments, suggestions,
recommendations and disrecommendations would be appreciated.
  - Frank Pfenning
-- 
----------------------------------------------------------------------
Frank Pfenning                       fp@cs.cmu.edu  
School of Computer Science           Carnegie Mellon University              
----------------------------------------------------------------------

Technical Details

Message-ID: <Bx3pu1.7zG.1@cs.cmu.edu>

Path:

arc1-ca.pugleaf.net!sparky!uunet!pmafire!news.dell.com!natinst.com!cs.utexas.edu!uwm.edu!linac!pacific.mps.ohio-state.edu!cis.ohio-state.edu!news.sei.cmu.edu!fs7.ece.cmu.edu!crabapple.srv.cs.cmu.edu!fp

Show Full Headers

Complete Article Headers

Newsgroups: comp.lang.functional
Path: arc1-ca.pugleaf.net!sparky!uunet!pmafire!news.dell.com!natinst.com!cs.utexas.edu!uwm.edu!linac!pacific.mps.ohio-state.edu!cis.ohio-state.edu!news.sei.cmu.edu!fs7.ece.cmu.edu!crabapple.srv.cs.cmu.edu!fp
From: fp+@cs.cmu.edu (Frank Pfenning)
Subject: Functional Program Transformation Textbooks?
Message-ID: <Bx3pu1.7zG.1@cs.cmu.edu>
Sender: news@cs.cmu.edu (Usenet News System)
Nntp-Posting-Host: alonzo.tip.cs.cmu.edu
Organization: School of Computer Science, Carnegie Mellon
Date: Mon, 2 Nov 1992 18:25:03 GMT
Lines: 9