Lambda the Ultimate

type	title	author	last post
Forum topic	Why is there no widely accepted progress for 50 years? It isn't what you don't know ... by Robb Nebbe	Milton Silva	2021-06-09 23:27
Story	YOW! Lambda Jam 2017: John Hughes - Why Functional Programming Matters Nice overview of key ideas and concepts with lots of examples. by Robb Nebbe	Ehud Lamm	2017-07-12 11:44
Forum topic	Are Actors a Good Model for Computation. Not specific to Actors by Robb Nebbe	Keean Schupke	2015-08-19 02:04
Forum topic	XKCD on type theory... Software engineering isn't something you can solve by Robb Nebbe A lot of software engineering is project management by Robb Nebbe Expecting programmers to use a lot of math is unrealistic by Robb Nebbe	Ray Dillinger	2015-06-16 21:32
Forum topic	What makes LtU more or less enjoyable? Alan Perlis said: by Robb Nebbe Simplicity Follows Complexity by Robb Nebbe programming as language design by Robb Nebbe	gasche	2015-05-07 06:03
Forum topic	The year that was: 1965. engaging with older papers/books not always easy by Robb Nebbe	Hank Thediek	2014-07-19 13:10
Forum topic	type theory about programming language? Yes, type theory is math by Robb Nebbe	Rys McCusker	2014-05-21 23:10
Story	Propositions as Types I would guess that the correspondence was fairly obvious by Robb Nebbe	Manuel J. Simoni	2014-03-19 07:14
Story	The origin of zero-based array indexing It is suprisingly common by Robb Nebbe	Ehud Lamm	2013-12-23 09:24
Forum topic	The Power of Interoperability: Why Objects Are Inevitable ADTs can interoperate better than you might think by Robb Nebbe	Sean McDirmid	2013-08-07 23:59
Story	John C. Reynolds, 1935-2013 I met him in London by Robb Nebbe	neelk	2013-05-08 11:20
Forum topic	Seeking thoughtful criticisms of functional programming and languages perhaps I was unclear since you misunderstood by Robb Nebbe That isn't really the focus of functional languages by Robb Nebbe That isn't really the focus of functional languages by Robb Nebbe modularity is the key to scalability by Robb Nebbe	scottmcl	2013-03-31 00:40
Forum topic	Bob Harper of CMU is blogging about programming languages and introductory CS education support for induction by Robb Nebbe	vrijz	2012-06-30 00:11
Forum topic	References about the importance of formalism in programming language design I don't see how you can avoid some by Robb Nebbe	giuseppemag	2012-03-30 05:42
Forum topic	why first-class functions if you are designing a language by Robb Nebbe from the perspective of a language like C by Robb Nebbe	ad1mt	2012-03-02 13:33
Forum topic	General purpose as a special case? you do use paradigm in a stricter sense than I do by Robb Nebbe An older thread about "Perlis" languages might be of interest by Robb Nebbe	Wendell	2011-12-18 04:04
Forum topic	Critical Programming Language Design both affirmative and critical design seem necessary by Robb Nebbe	Sean McDirmid	2011-10-04 23:00
Story	Programming and Scaling The DSL examples at the end were interesting by Robb Nebbe	Manuel J. Simoni	2011-08-23 16:56
Forum topic	Is it possible to write code that works the very first time? Depends on the language by Robb Nebbe	M Riccobene	2011-08-10 11:43
Forum topic	The Last Language? self-definition is insufficient by Robb Nebbe you're both right by Robb Nebbe incomplete or inconsistent by Robb Nebbe mathematical language is now relatively static by Robb Nebbe like natural language or like mathematics by Robb Nebbe like the table of elements? by Robb Nebbe Obviously I meant one at a time by Robb Nebbe There are three issues here by Robb Nebbe	Dominic Fox	2011-07-20 14:51
Forum topic	How to explain a new programming language? depends a lot on the details by Robb Nebbe	Sean McDirmid	2011-07-07 02:51
Forum topic	The Value Of Syntax? aha! by Robb Nebbe conciseness is important by Robb Nebbe programming as language creation by Robb Nebbe	Ray Dillinger	2011-06-28 20:45
Forum topic	modules are anti-modular Composition is Anti-Modular by Robb Nebbe	el-vadimo	2011-06-27 17:31
Forum topic	Clojure's Solutions to the Expression Problem doubt trade-off is necessary by Robb Nebbe The point I wanted to make by Robb Nebbe I doubt they apply by Robb Nebbe possibility of eliminating a correct program by Robb Nebbe programs still have to work by Robb Nebbe	fogus	2010-11-27 07:21
Forum topic	Why are objects so unintuitive? proof by example by Robb Nebbe	Lee Chou	2010-11-19 19:07
next page last page

---

Logs: Hack The Planet ; JavaLobby ; Daily Python-URL ; Daily WTF ; PHP everywhere ; (more)
Wikis: WikiWiki ; Erlang ; Common Lisp ; Haskell ; Squeak ; Tcl ; Program Transformation