Re: Why Prolog and CBV?

• Subject: Re: Why Prolog and CBV?
• From: Robert_Harper@GOTTLOB.TIP.CS.CMU.EDU
• Date: Mon, 18 Nov 91 11:35:32 EST
• Cc: types@THEORY.LCS.MIT.EDU
• In-Reply-To: Your message of Mon, 18 Nov 91 09:10:29 -0500. <199111181410.AA13601@stork.lcs.mit.edu>
• Sender: meyer@theory.lcs.mit.edu

Date: Mon, 18 Nov 91 10:53:44 EST
To: "John C. Mitchell" <jcm@CS.STANFORD.EDU>

I'm not sure I understand the relevance of whether CBV or CBN is a complete
strategy for finding normal forms since no programming language that I know of
takes as values the normal forms.

Bob Harper

• Prev: Why Prolog and CBV?
• Next: Re: Why Prolog and CBV?
• Index(es):
  • Main
  • Thread