Lambda the Ultimate

type	title	author	last post
Forum topic	Limitations of Prolog-style clausal programs I kindly suggest we go back by Ehud Lamm COI = conflict of interest. by Ehud Lamm	Hewitt	2014-02-11 10:53
Forum topic	POPL 2014 proceedings available freely for all I started posting a notable by Ehud Lamm A great opportunity for the by Ehud Lamm	gasche	2014-02-08 00:34
Forum topic	PuzzleScript I still call them "Little by Ehud Lamm For the record, GSL was a by Ehud Lamm Maybe. Do people in gaming by Ehud Lamm What you describe is exactly by Ehud Lamm	Tess Foley	2014-02-01 15:29
Forum topic	Examples for benefitfs of dynamic programming languages To be honest, I've been by Ehud Lamm Prediction: in 25 there will by Ehud Lamm	Sebastian Okon	2014-01-30 21:54
Forum topic	A glimpse into a new general purpose programming language under development at Microsoft The joke was about LtU by Ehud Lamm Since they need the traffic, by Ehud Lamm	Charles Torre	2014-01-27 05:08
Forum topic	Less is more. Execution model? by Ehud Lamm To put it more generally, by Ehud Lamm One think to keep in mind by Ehud Lamm	Rys McCusker	2014-01-19 13:05
Forum topic	Pragmatic aspects of dimension types, and the problem of angles radians are the natural way by Ehud Lamm	Douglas McClean	2014-01-14 17:44
Forum topic	a little language for platform games Yes, finding the "Getting by Ehud Lamm	Mike Robinson	2014-01-06 19:10
Story	Graham Hutton: Programming in Haskell	Ehud Lamm	2013-12-29 16:46
Story	The origin of zero-based array indexing This thread wasn't really by Ehud Lamm I thought BCPL was relevant by Ehud Lamm Thanks. These are excellent by Ehud Lamm That's ok. I didn't want to by Ehud Lamm I am also not convinced. But by Ehud Lamm The twist in the story is by Ehud Lamm	Ehud Lamm	2013-12-23 09:24
Story	Python and Scientific Computing Symbolic vs. Numeric work by Ehud Lamm How useful and/or practical by Ehud Lamm ggplot for python. by Ehud Lamm So you disagree with the by Ehud Lamm Yeah, I figured the claim was by Ehud Lamm When you say platform do you by Ehud Lamm	Ehud Lamm	2013-11-22 10:03
Story	Call for Participation: Programming Languages Mentoring Workshop	Ehud Lamm	2013-11-22 09:36
Forum topic	Why is Static Typing Hard? Dear God. by Ehud Lamm You know the way it works -- by Ehud Lamm You know EOPL and PLAI, by Ehud Lamm I am not sure what you mean. by Ehud Lamm	Jon Purdy	2013-11-12 18:56
Forum topic	xkcd: Functional APL: Multi-dimensional by Ehud Lamm "If it was one line, it by Ehud Lamm Don't take the fun out of by Ehud Lamm So true. What saves it for by Ehud Lamm	Sean McDirmid	2013-11-05 20:23
Forum topic	Alexander Bumstead learns the Lambda Calculus I have no idea what joke by Ehud Lamm	tim finin	2013-11-05 07:12
Story	John C. Reynolds Doctoral Dissertation Award (SIGPLAN)	Ehud Lamm	2013-11-05 07:09
Story	The Genuine Sieve of Eratosthenes (1) whether these are the by Ehud Lamm	Ehud Lamm	2013-10-26 21:32
Story	Copatterns: the final approach to codata? Thanks. Great first post! by Ehud Lamm	gasche	2013-10-11 22:36
Forum topic	How is LtU doing? The main reason is by Ehud Lamm Done! by Ehud Lamm	Sean McDirmid	2013-09-29 23:55
Forum topic	Proving running times of algorithms Just to clarify: PFDS was by Ehud Lamm	jason stumpf	2013-09-13 02:43
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
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