Monday, May 03, 2010

A Theory of Typed Hygienic Macros

A Theory of Typed Hygienic Macros
PhD Dissertation, 2010

We present the λm-calculus, a semantics for a language of hygienic macros with a non-trivial theory. Unlike Scheme, where programs must be macro-expanded to be analyzed, our semantics admits reasoning about programs as they appear to programmers. Our contributions include a semantics of hygienic macro expansion, a formal definition of α-equivalence that is independent of expansion, and a proof that expansion preserves α-equivalence. The key technical component of our language is a type system similar to Culpepper and Felleisen’s “shape types,” but with the novel contribution of binding signature types, which specify the bindings and scope of a macro’s arguments.

16 comments:

Jonathan said...

Congratulations Dave. When is your defence?

Anonymous said...

"We"?

Dave Herman said...

@Jonathan: done.

@Matt: Leave us alone. We are royalty. Our committee never mentioned this, and it is too late for us to change it anyway.

David said...

If you hadn't said 'we', we would have definitely heard of that from the committee!

Gregg said...

Congratulations!

Noel said...

Congratulations!

Anonymous said...

Congratulations!

goatstrangler said...

Could you post a single-spaced version? It looks great as-is, but printing any part would take a whole tree. :)

McAfee activate said...

This is a great article, with lots of information in it, These types of articles interest users on your site. Please continue to share more interesting articles!

quickbook support said...

Good article and knowledge for me! I found a lot of information here!

jenifferleio12 said...

Thanks! this has helped me make up my mind. I will get survival craft because I don't use the pc much and I think id rather play on a tablet.
Canon Printer Support |Brother Printer Support | HP Printer Support | Epson Printer Support

Quickbooks support said...

We have a Support Service team for Quickbooks. Need instant solution of your Quickbooks Accounting related. Instantly Dial Quickbooks Support Phone Number for USA user only. Call us on +1-800-901-6679.

ATT Customer Service Number said...

ATT is one of the biggest wireless service providers in the United States. These customers use the services at the fullest and might face problems while using the services. if you have any types of problem-related to ATT wireless then you can contact ATT Customer Service Number
ATT Customer Service Number
ATT Email Support Number
Gmail Account Login Problems
Change Gmail Password
Hack Gmail Account Recovery
G Suite Support Number
Gmail Business Account Help

Quickbooks support said...

For Quickbooks Pro Support Phone Number dial +1-800-901-6679 if you get instant solution. Our Quickbooks Pro technical support agents always provides you the suitable help.

Quickbooks Payroll said...

Nice Blog If you need Quickbooks Support Phone Number then you can dial +1-800-986-4607 for help and support. Our technical support team always provides you the best technical help.

shalley30 said...

if you are facing problem related to virus in your PC and computer.Sign in to enter your product key, access your account, manage your subscription, and extend your Norton protection to PC, Mac, Android, and iOS devices then contact us.

www.norton.com/setup
www.norton.com/setup
www.norton.com/setup