Papers We Love

Programming Talks tagged with: "Papers We Love"

John Myles White on Fundamental Concepts in Programming Languages

Meetup: http://www.meetup.com/papers-we-love/events/220902753/ Paper: http://www.cs.cmu.edu/~crary/819-f09/Strachey67.pdf Slides: http://bit.ly/1BnBb08 Audio: http://bit.ly/1HAdXci --------------------------------------------------------------------------------------------- Sponsored by Two Sigma (@twosigma) and The Ladders (@TheLaddersDev) --------------------------------------------------------------------------------------------- Description --------------- Strachey's lectures on "Fundamental Concepts in Programming Languages" provided an extremely broad survey of core issues in programming language design that provided much of the terminology we use today, including definitions of the kinds of polymorphism and the ...

Sam Tobin-Hochstadt on Composable and Compilable Macros

Meetup: http://www.meetup.com/papers-we-love/events/220021234/ Paper: https://www.cs.utah.edu/plt/publications/macromod.pdf Slides: http://bit.ly/1KNwpjC Audio: https://www.mixcloud.com/paperswelove/sam-tobin-hochstadt-on-composable-and-compilable-macros/ -------------------------------------------------------------------------------------------------------------------------------------------------- Sponsored by Two Sigma (@twosigma), The Ladders (@TheLaddersDev), and LispNYC (@lispnyc) -------------------------------------------------------------------------------------------------------------------------------------------------- Description --------------- "Composable and Compilable Macros" introduces the Racket module system, which addresses the following problem: When you have macros that run programs at compile-time, how does this interact with separate compilation and ahead-of-time compilation. The paper introduces ...