Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML ∗ Steven E. Ganz †

First Page		Document Content
Date: 2007-07-14 12:45:37 Functional languages Transformation languages Procedural programming languages Denotational semantics Hygienic macro Macro Inline expansion Standard ML Racket Software engineering Computing Computer programming		Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML ∗ Steven E. Ganz † Add to Reading List Source URL: www.cs.rice.edu Download Document from Source Website File Size: 256,66 KB Share Document on Facebook

	THE HISTORY OF STANDARD ML IDEAS, PRINCIPLES, CULTURE David MacQueen University of Chicago (Emeritus) DocID: 1xUwQ - View Document
	Sorb Star © – VOC Reproducibility Sample preparation: 100 ml water with 10 µl standard concppm; 20µg of each component in solution; addition of 10 pcs Sorb Star© 24 hrpm stirred DocID: 1v7gc - View Document
	Heparin Sodium ヘパリンナトリウム Add the following next to Description: Identification Dissolve 1 mg each of Heparin Sodium and Heparin Sodium Reference Standard for physicochemical test in 1 mL of water, and u DocID: 1urpB - View Document
	SMLtoJs: Hosting a Standard ML compiler in a Web Browser Martin Elsman SimCorp A/S Abstract DocID: 1uhqF - View Document
	Partial Evaluation of Standard ML Master’s Thesis Lars Birkedal Morten Welinder DocID: 1sCkY - View Document