This preview shows pages 1–3. Sign up to view the full content.
This preview has intentionally blurred sections. Sign up to view the full version.View Full Document
Unformatted text preview: We can improve things by having Constructors Predicates Extractors Occurs-free? The grammar The procedure Occurs-free? Rule for designing interfaces Constructors Predicates Extractors Wouldn’t it be great if someone did the plumbing for us? The idea: Define the data type The new occurs-free? Use the cases construct 10/19/2010 3 The new occurs-free? The general form of define-datatype Example uses of define-datatype...
View Full Document
This note was uploaded on 04/13/2011 for the course ENGR 301 taught by Professor Raultekin during the Spring '10 term at Boğaziçi University.
- Spring '10