id: 2ee46dc1-5ab8-4467-bfcd-35c9be28abda url: http://people.csail.mit.edu/alan/mtt/ name: First-Class Macros Have Types
