Skip to content

George London

Software Raconteur

  • About
  • Contact
  • Blog

Month: July 2015

A* Interview #18(ish): Strongly-Typed Emacs Acolyte, Bodil Stokke

July 3, 2015November 18, 2019 George LondonLeave a comment

Follow Bodil on Twitter.

Check out some of her conference talks.

Use an Emacs starter kit to smooth the learning curve.

For an introduction to type theory, click here.

Or if you want to crack a turtle with types, read Types and Programming Languages.

Learn about the A* Series and see more interviews here.

(Source: https://www.youtube.com/)
Proudly powered by WordPress | Theme: Libre by Automattic.