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
Sarah Mount
namin
Lindsey Kuper
chrisamaphone
Alex1
Felicia Li Svilling
Philippa Cowderoy
gerweck
yardena
KeeperKim
PatriciaJohnson
sarah_a180
vikulika
Paula Mangas
shakuntalag
Tink
chien012
SPREADING_FACT
mike3k
Viera
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

« May 2018  
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 31    

Active forum topics

  • Proof system for learning basic algebra
  • Type Bombs
  • terminology for scope of discourse, i.e. CS-domain
  • Expressions of Change
  • The Heron Programming Language
more

New forum topics

  • Proof system for learning basic algebra
  • Type Bombs
  • The Heron Programming Language
  • terminology for scope of discourse, i.e. CS-domain
  • Expressions of Change
more

Recent comments

  • macros still
    2 hours 52 sec ago
  • Nice feature of the interface
    1 day 21 hours ago
  • Type bombs in C#
    3 days 4 hours ago
  • Bisubstitution
    3 days 4 hours ago
  • focus
    5 days 1 hour ago
  • Turtles
    5 days 13 hours ago
  • Thank you very much.
    1 week 1 day ago
  • Bisubstitution
    1 week 1 day ago
  • Reading the thesis
    1 week 1 day ago
  • Surprisingly, no
    1 week 5 days ago