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 kinds of expressions we see in programming languages. Published as a paper many years later, Strachey's lectures provide an especially readable overview of programming languages concepts.
Bio
----
John Myles White (@johnmyleswhite) is a Julia hacker who loves thinking about the ways in which the design of technical programming languages influences the way in which we think about statistics and machine learning. He's written two books about machine learning for O'Reilly and works at Facebook.
Related Talks
Philip Wadler: Church's Coincidences
Philip Wadler, Professor of Theoretical Computer Science at the University of Edinburgh, contends that the foundations of computing lay in a coincidence: Church's lambda calculus (1933), Herbrand and Godel's recursive functions (1934), and Turing's machines (1935) all defined the same model of computation.
He gave this lecture on the occasion ...DConf 2014: SDC, a D Compiler as a Library by Amaury Sechet
The D Programming Language Conference, May 21-23 2014, Menlo Park, CA. ...Parsing with Derivatives
(February 9, 2011) Matthew Might focuses on a new way to write parsers and how it will affect computer science in the future. Might discusses these parsers and overall language theory, to help explain how there is demand for better parsing tools and how computer science will be improved in ...Elixir Conf 2014 - Keynote: Elixir by Jose Valim
Help us caption & translate this video!
http://amara.org/v/FGYe/ ...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 ...Andrew Odlyzko: Turing and the Riemann zeta function
Andrew Odlyzko, Professor of Mathematics at the University of Minnesota, discusses "Turing and the Riemann zeta function" in a lecture given on the occasion of Princeton University's centennial celebration of Alan Turing. Learn more at www.princeton.edu/turing
#turingprinceton ...Expert to Expert: Inside Clojure
Clojure is a dynamic programming language created by Rich Hickey that targets both the Java Virtual Machine and the CLR. It is designed to be a general-purpose language, combining the approachability and interactive development of a scripting language with an efficient and robust infrastructure for multithreaded programming. Clojure is a ...