Log in | Register
Pλ Forums
Theme:
  • Day
  • Notification Settings Notification Settings
  • Private Messages Private Messages
  • Forums

Programming Languages Theory & Practice Forums

Talk PL-theory from ATP to HoTT, and PL-practice from languages to tools.

The enjoyment of one’s tools is an essential ingredient of successful work. – Donald Knuth

Theory

5 posts in 1 topics

Article & paper discussions, ideas, and stories

Updated October 14, 2017 by gasche

Practice

33 posts in 5 topics

Languages, tools, ideas, and stories

Updated July 14, 2018 by rain1

Misc

16 posts in 2 topics

Everything else

Updated May 13, 2017 by IvanV

Meta

9 posts in 2 topics

Discussions about these forums

Updated June 13, 2018 by rain1

About Pλ Forums