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.

53 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!

Unknown said...

Congratulations!

Noel said...

Congratulations!

Anonymous said...

Congratulations!

Unknown 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

Geek Squad said...

https://myspace.com/geeksquadsr
https://github.com/geeksquadsr
https://profiles.wordpress.org/geeksquadsr/
https://addons.mozilla.org/en-US/firefox/user/15290690/
https://issuu.com/geeksquad1
https://www.goodreads.com/user/show/103055178-geek-support
https://www.pinterest.com/pin/757801074782242110/
https://www.pinterest.com/geeksquadsrb
https://themeforest.net/user/geeksquadsr
https://geekmagazine.academia.edu/geeksquad

anurag said...


It is very common that for a issue you will found many solution.
But the solution need to be perfect. If you have any issue with asus router then visit
router.asus.login

Fitdiettrends said...

http://0rz.tw/D9J4q
http://shrtlnk.net/4082030
https://bit.ly/33sDmFx
https://hostimize.com/7h+
https://vae.me/cwoV

Airlines booking said...

You want to book an air ticket, then visit American Airlines official site to make your vacations and meetings comfortable. Check out our online portal for American Airlines Reservations and get the best discount and offers on your bookings. If you want more concessions, then call on our support number.

Airlines booking said...

Like all other airlines United Airlines flights also offer entertainment while you are in the flight. Book your air tickets with United Airlines official site and get the benefits of our exclusive and special entertainment systems installed in the flights for your entertainment throughout your journey.

Airlines booking said...

Get all information about the airlines and its booking procedure at Air China phone number, the quick and efficient helpline helping millions of passengers.
Get all information about the airlines and its booking procedure at Air China phone number, the quick and efficient helpline helping millions of passengers.

Airlines booking said...

Air China Customer Service helps you to experience the best travel, and you can also make some amazing memories by planning your travel with Air China through Air China Customer Service.

Airlines booking said...

If You are looking for domestic or international flights through american  airlines.so you can directly contact at american phone number​​​​​​​ team, and you can reserve their tickets at american airlines reservations. you enjoy your destinations

Airlines booking said...

Dial Southwest Phone Number and get best offers for every booking and fly with the cheap rates only with southwest airlines. you can enjoy at your amazing destinations. Our agents are there to help with best solutions over the Southwest Phone Number.

United Airlines Flights said...

United Airlines Flights, this airline has provides you with extra legroom and that is the first thing for your travel comfort. To know more, you can visit here at:
United Airlines Reservations

United Airlines Flights

United Airlines Ticket Booking

United Airlines Flight Reservations

United Flight Deals

Derin Nakliyat said...

Esenyurt evden eve nakliyat konusunda profesyonel olarak çalışmaya devam ediyoruz. Esenyurt nakliyat firmaları arasında en kaliteli taşıma sistemini kullanıyoruz. Evden eve taşıma, asansörlü nakliye ve şehirler arası nakliyat yapmaktayız.

Esenyurt evden eve nakliyat şirketi olarak kucuk bir semt olan ilçemizin metropole geçiş sürecinde devamli çalıştık. Esenyurt nakliyat firması ünvanımızı ve Derin Nakliyat ismimiz ile büyük küçük halkımızın her türlü esya taşıma taleplerine karşılık verdik.

Şehirler arası tasima Esenyurt konumunda haftanın her günü iller arası mesafeye arac göndeririz. Esenyurt şehirler arası evden eve nakliyat ile uzak mesafelerde de profesyonel destekleriniz devam ediyor. Il dişi bölgelerde ilden ile sigortalı nakliyat ile eşyalarınız artik güvende.

Asansörlü taşıma Esenyurt alanında piyasadaki tüm nakliye şirketleri arasında en makul olanı yine Derin Nakliyat firmasıdır. Yeni teknolojiye ait asansörlü nakliye araçlarımız ile yüksek katlara eşyalarınızı sıfır hasar ile çıkartıyoruz. Bu sistemin kullanımı sayesinde çalışmalarımız hem daha güvenli hemde hızlı olma özelliği kazanıyor.

Evden eve nakliyat Esenyurt için siz de hizmet talep ediyorsanız bizimle iletişime geçin. Esenyurt nakliyecileri arasında en uygun fiyatları profesyonel çalışma garantisiyle teklif ediyoruz. Ev esyası taşıma konusunda memnuniyet garantili olarak çalışmaktayız.

tech support said...

123.hp.com/dj2652
123.hp.com/setup 2652
123.hp.com/dj2622
123.hp.com/setup 6968
123.hp.com/setup 6978
123.hp.com/setup 5055
123.hp.com
123.hp.com/setup

Mary Magdalene said...

123.hp.com/dj2652
123.hp.com/setup 2652
123.hp.com/dj2622
123.hp.com/setup 6968
123.hp.com/setup 6978
123.hp.com/setup 5055
123.hp.com
123.hp.com/setup

Larawilliam said...

Start a Free Trial to watch your favorite popular TV shows on Hulu including Empire, Modern family, south park & thousand more. So start your free trial now & you can cancel at any time.
hulu login

Larawilliam said...

webroot security is one of the most effective on-line security programs that provides associate degree endpoint malware anticipation the board arrangement. transfer webroot antivirus at webroot.com/safe & get steps for webroot security.
webroot.com/safe

Ida F. Breton said...

https://letterboxd.com/gregoight/
https://medium.com/@gregoight
https://members.ancient-origins.net/users/gregoight
https://padlet.com/gregoight/d275hqre03k8
https://my.desktopnexus.com/gregoight/
https://pro.ideafit.com/profile/grego-ight
https://muckrack.com/creativehealthcartbuy
http://www.strivingprogrammers.com/boards/topic/17458/creative-health-cart
https://about.me/creativehealthcartbuy/
https://8tracks.com/gregoight

David William said...

Your blog is valuable us with significant information flight booking at,your new travel Frontier Phone Number booking associate. Contact our pros. It was the key bearers to show Premium Economy Each and each tip of your post are astonishing. Much refreshing for sharing. Keep blogging.if you any issue you can interface authorities groups master bunch best deals.

Sahil said...

At assignment help, we are proud to announce its success in writing industry in Australia. If you are wondering for my assignment help, we became one of the most popular assignment writing services in singapore. We always provide customized high-quality assignments written by our experienced assignment experts. So if you have any academic problem with assignment writing, our 500+ experts at your disposal to help you in the best possible manner. We also provided free samples for more detailed knowledge. Know more about our PhD experts and their completed assignments online. Hire top assignment helper now.

alice marvel said...


Very well explained blog click here for
QuickBooks Customer Service Phone Number for more detail dial on our QuickBooks Support phone number 844-908-0801

alice marvel said...

Dial on our error support How to fix QuickBooks Error H505 844-908-0801 to get the solution of all QuickBooks issues and error

domt said...

hp envy 5052 driver

alice marvel said...

Very well explained and informative blog click here for
QuickBooks Helpline Number for more detail dial on our support number 844-908-0801

Blog27999 said...

Your Affiliate Money Making Machine is waiting -

And making money online using it is as easy as 1-2-3!

Here's how it works...

STEP 1. Tell the system what affiliate products you want to promote
STEP 2. Add some push button traffic (this LITERALLY takes 2 minutes)
STEP 3. Watch the system grow your list and sell your affiliate products for you!

Do you want to start making profits???

Your MONEY MAKING affiliate solution is RIGHT HERE

Unknown said...

As reported by Stanford Medical, It's indeed the ONLY reason women in this country live 10 years more and weigh an average of 42 pounds lighter than us.

(By the way, it is not related to genetics or some secret exercise and EVERYTHING around "how" they are eating.)

BTW, What I said is "HOW", not "what"...

CLICK this link to find out if this little test can help you discover your true weight loss possibilities

hpprinterdrivers said...

123.hp.com

hpprinterdrivers said...

hp officejet pro 6978 setup | 123.hp.com/setup 8710 | HP Officejet Pro 8710 Driver | 123.hp.com/ojpro8710 |

The Qb Payroll said...

The issues in QuickBooks can’t be resisted but it can be avoided or resolved with the valuable assistance given by QB experts. The experts are deployed on the support for which users have to dial QuickBooks Phone Number Support 1-833-780-0086. For More Visit: https://g.page/quickbookssupporttexas

The Qb Payroll said...

Feel free to ask from our QuickBooks experts. The need is to dial on QuickBooks Customer Service Number 1-833-780-0086. They are supportive towards QuickBooks users. For More: https://g.page/quickbooks-support-pennsylvania

meldaresearch said...

Online religion research paper writing services are very difficult to complete and many students are always searching for Religion Research Paper Services companies to help them complete their custom religion essay writing services.

The Qb Payroll said...

Connect with us to immediately gain a solution by dialling QuickBooks Customer Support 1-833-780-0086.For More Visit: https://g.page/qb-support-number-hawaii

thomas said...

Nice Blog!
Getting QuickBooks error 6123 0?.Get efficient solution with Our expert.
Click Here to Know How to fix QuickBooks error 6123 0
Dial our tech support Number for any support +1-844-908-0801.

Amily said...

Nice Blog & Informative Blog !
Resolve QuickBooks Error 6123 0 with effective solution. If you want instant aid, contact us at 1-855-6OO-4O6O. The error 6123 0 usually arrives while upgrading the software, restoring a back-up or opening a company file over a network.

thomas said...

Nice Blog!
QuickBooks tool hub ? Get live support 24*7 from QuickBooks expert on tool-free Number.
Click here to know how to use QuickBooks tool hub
Dial for any tech support: 1-844-908-0801

Amily said...

Nice Blog & Informative Blog !
Resolve QuickBooks Error 6123 0 with effective solution. If you want instant aid, contact us at 1-855-6OO-4O6O. The error 6123 0 usually arrives while upgrading the software, restoring a back-up or opening a company file over a network.

Amily said...

QuickBooks Support Phone Number marysville
QuickBooks Support Phone Number California
QuickBooks Support Phone Number Denver
QuickBooks Support Phone Number Florida

Florahmelda said...

Business coursework writing services are essential for business assignment writing services and Business Essay Writing Services seekers.

The Qb Payroll said...

Amidst the ongoing Coronavirus lockdown, our QuickBooks experts are available to solve all your QuickBooks problems. No matter at what time you come across the trouble. Feel free to contact QuickBooks Customer Support.