Lambda the Ultimate

type	title	author	last post
Forum topic	Proving the correctness of reactive systems using sized types Welcome aboard. by Ehud Lamm If think it's time you by Ehud Lamm	Daniel Yokomizo	2013-09-13 02:35
Story	Why Did M.I.T. Switch from Scheme to Python? That's the point: They are by Ehud Lamm So long as we all realize by Ehud Lamm These are smart people, so I by Ehud Lamm My point was, of course, by Ehud Lamm Abstraction by Ehud Lamm	Leon P Smith	2013-09-12 17:06
Forum topic	Request for advice on a senior thesis I was thinking of people by Ehud Lamm I second this. I think you by Ehud Lamm	Taymon A Beal	2013-08-26 17:21
Forum topic	Beyond FRP: physics-inspired programming abstractions? Good on you. by Ehud Lamm	Sean McDirmid	2013-08-22 19:13
Story	ILC2002 Proceedings and Videos Any specific recommendations? by Ehud Lamm	Luke Gorrie	2013-08-08 08:11
Story	History of Logic Programming: What went wrong, What was done about it, and What it might mean for the future Thanks for the summary! Am I by Ehud Lamm Kowalski/Hewitt by Ehud Lamm but that the limitations of by Ehud Lamm Shrijvers seems optimistic by Ehud Lamm Yes. Sorry about that. by Ehud Lamm	Ehud Lamm	2013-07-28 20:42
Forum topic	Typographical extensions for programming languages: breaking out of the ASCII straitjacket I "want" programming by Ehud Lamm	Sean McDirmid	2013-07-28 00:17
Forum topic	Cost of provably-correct code	Ehud Lamm	2013-07-06 19:56
Story	The programming languages behind "the mother of all demos" RIP Doug Engelbart by Ehud Lamm Challenge by Ehud Lamm	Ehud Lamm	2013-07-05 22:29
Story	The Three Laws of Programming Language Design Thanks for noting this by Ehud Lamm They should (if such tapes by Ehud Lamm Way too late. You need to by Ehud Lamm I think you got me there. by Ehud Lamm People like me... You mean by Ehud Lamm Monads are hard to by Ehud Lamm Monads are explained a lot by Ehud Lamm These are rules of by Ehud Lamm	bashyal	2013-07-04 14:32
Forum topic	Library vs. domain specific language Probably should... by Ehud Lamm	Gergely Buday	2013-06-28 15:39
Story	On the history of the question of whether natural language is “illogical”	Ehud Lamm	2013-06-06 15:18
Story	Typesafe Activator	Ehud Lamm	2013-05-28 15:15
Forum topic	TypeScript: Design-Time tool for Application-scale JavaScript development You realize that The Treaty by Ehud Lamm Politics? Now I can't get by Ehud Lamm	Charles Torre	2013-05-21 02:56
Story	John C. Reynolds, 1935-2013 The ideas and contributions by Ehud Lamm	neelk	2013-05-08 11:20
Forum topic	haXe 1.0 Haxe/NME by Ehud Lamm	Nicolas Cannasse	2013-05-07 22:10
Story	Lisp in Summer Projects	Ehud Lamm	2013-05-06 20:57
Forum topic	A little challenge	Ehud Lamm	2013-05-02 21:57
Forum topic	Call-by-reference decided by caller Am I missing something? by Ehud Lamm	tkirchner	2013-04-27 23:23
Story	Dependent Types for JavaScript Real planes use Ada (and by Ehud Lamm Getting Started Threads by Ehud Lamm Type systems aren't just by Ehud Lamm	naasking	2013-04-18 10:44
Story	DYNAMO Thanks, that's a very by Ehud Lamm It's definitely not a simple by Ehud Lamm Here you can find a little by Ehud Lamm Any examples of other by Ehud Lamm Note that Brian Hayes who by Ehud Lamm	Ehud Lamm	2013-04-16 20:53
Forum topic	Peter Van Roy: Programming Paradigms for Dummies Done. by Ehud Lamm	Torsten Anders	2013-04-05 15:06
Story	Who's online I am fine with that, if by Ehud Lamm	Ehud Lamm	2013-04-02 09:09
Story	LtU is migrating from Drupal Nice. As for the April by Ehud Lamm It tells you something about by Ehud Lamm Are terms of service already by Ehud Lamm You should have left it. It by Ehud Lamm	Ehud Lamm	2013-04-02 07:38
Forum topic	Seeking thoughtful criticisms of functional programming and languages Wow. by Ehud Lamm	scottmcl	2013-03-31 00:40
first page previous page 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