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
Philippa Cowderoy
Felicia Li Svilling
Lindsey Kuper
gerweck
namin
Chris Martens
yardena
KeeperKim
vicky
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 2012  
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

  • Languages with 'unique' programs
  • Encoding System Fw in predicative dependent type theory
  • Languages & Niches
  • D3: Thinking with Joins
  • Reducers - A Library and Model for Collection Processing
more

New forum topics

  • D3: Thinking with Joins
  • Languages with 'unique' programs
  • Languages & Niches
  • Predicates, ghost predicates and higher order predicates
  • Encoding System Fw in predicative dependent type theory
more