Lambda the Ultimate

The Programming Languages Weblog
   

Home

Feedback

FAQ

Getting Started

Discussions

Site operation discussions

Recent Posts

(new topic)

Departments

Courses

Research Papers

Design Docs

Quotations

Genealogical Diagrams

Archives

User login



  • Create new account
  • Request new password

Navigation

  • recent posts
Chris Clearwater
Christian Langreiter
Drew Bagnell
Doug Tolton
Doug Fort
Eric Cheng
Jerry Boetje
Jung-joon Kim
Keith Devens
Andrew Eland
Marius
mstevens
Soam
first page
previous page
Logs: Hack The Planet ; JavaLobby ; Daily Python-URL ; Daily WTF ; PHP everywhere ; (more)
Wikis: WikiWiki ; Erlang ; Common Lisp ; Haskell ; Squeak ; Tcl ; Program Transformation

Browse archives

« June 2020  
Su Mo Tu We Th Fr Sa
  1 2 3 4 5 6
7 8 9 10 11 12 13
14 15 16 17 18 19 20
21 22 23 24 25 26 27
28 29 30        

Active forum topics

  • Idris2 is self-hosting
  • modus_ponens, a library to develop inference engines.
  • Why is there no widely accepted progress for 50 years?
  • Owl: A parser generator for visibly pushdown languages.
  • IEEE Scheme expiring soon
more

New forum topics

  • Idris2 is self-hosting
  • modus_ponens, a library to develop inference engines.
  • Owl: A parser generator for visibly pushdown languages.
  • Why is there no widely accepted progress for 50 years?
  • Functional Constructors in Theme-D
more

Recent comments

  • Unknown unknowns
    2 weeks 6 days ago
  • It isn't what you don't know ...
    4 weeks 13 hours ago
  • Thanks, fare
    6 weeks 2 days ago
  • Ah, you're looking for
    7 weeks 8 hours ago
  • FCVs
    7 weeks 18 hours ago
  • The intersection of Game Theory and Game Semantics
    7 weeks 2 days ago
  • I might add Composition and Environment
    7 weeks 3 days ago
  • What we've learned
    7 weeks 4 days ago
  • Object system
    7 weeks 4 days ago
  • Block chains and PL
    7 weeks 5 days ago