Lambda the Ultimate

type	title	author	last post
Forum topic	Compile-time constraint solver? Here is the ACM DL link: by Sean McDirmid	George Morrison	2013-06-16 10:18
Forum topic	Teaching Garbage-Collection I thought arguments to C++ by Sean McDirmid Same author, so I guess the by Sean McDirmid I recommend the blue book on by Sean McDirmid	shriramk	2013-06-13 16:51
Forum topic	A discussion from the trenches. Compute(100,265)Is it a by Sean McDirmid	Eric Biederman	2013-06-10 15:08
Forum topic	A reversible Javascript interpreter Junk articles by Sean McDirmid Well, it goes backwards, so by Sean McDirmid Cool, but can you by Sean McDirmid	Will Thimbleby	2013-05-27 05:46
Forum topic	DIALOG: A Conversational Programming System with a Graphical Orientation	Sean McDirmid	2013-05-27 02:15
Forum topic	Janus: A Time-Reversible Language Too much work and too by Sean McDirmid I'm not big on energy by Sean McDirmid In a model of update where by Sean McDirmid That is definitely one way by Sean McDirmid Yes, that's what we do, but by Sean McDirmid Unfortunately you can't use by Sean McDirmid deleted by Sean McDirmid In incremental computation, by Sean McDirmid Modularity by Sean McDirmid But in this case, you've by Sean McDirmid ...	Sean McDirmid	2013-05-25 11:38
Forum topic	Osmosian F3 is back? Nice! We should by Sean McDirmid There manifesto uses a by Sean McDirmid	raould	2013-05-22 00:07
Forum topic	TypeScript: Design-Time tool for Application-scale JavaScript development It's been so long since by Sean McDirmid Yes then by Sean McDirmid No by Sean McDirmid	Charles Torre	2013-05-21 02:56
Forum topic	Dimensional Analysis in real world and Type Systems I meant in research, this is by Sean McDirmid Many languages support by Sean McDirmid	sciomako	2013-05-20 23:38
Forum topic	Writing a Compiler Compiler... See session 4 of by Sean McDirmid	Alexander Morou	2013-05-16 08:31
Forum topic	texts & otherwise for bottom up teaching/learning face palm by Sean McDirmid	mfidelman	2013-05-15 02:45
Forum topic	Go-style defer-recover exception handling is better than try-catch style? I think I said this by Sean McDirmid Standard practice is that by Sean McDirmid	Limin Fu	2013-05-13 01:54
Forum topic	"Relational Model Outgrown" CACM May 2013 constraint-based programming by Sean McDirmid I don't think its right to by Sean McDirmid Spanner is only semi by Sean McDirmid Let's be clear: there are by Sean McDirmid It all comes down to by Sean McDirmid Its not clear whether by Sean McDirmid How are actors going to help by Sean McDirmid This is not completely true: by Sean McDirmid Why do you think that by Sean McDirmid Post SQL by Sean McDirmid ...	Hewitt	2013-05-10 01:56
Forum topic	An interactive approach to teaching programming concepts Such puzzles could be added by Sean McDirmid I've always wanted to build by Sean McDirmid Well, this really begs the by Sean McDirmid Beautiful, but do you have by Sean McDirmid	Damian Gill	2013-04-29 12:22
Story	Dependent Types for JavaScript Don't get me wrong, I by Sean McDirmid The way I understood it, by Sean McDirmid You pretend as if these by Sean McDirmid but the correctness of the by Sean McDirmid Ouch! Bringing out by Sean McDirmid There is definitely a case by Sean McDirmid See what happens when PL by Sean McDirmid That would put the work in a by Sean McDirmid I meant to "reason about by Sean McDirmid Well, I wasn't really by Sean McDirmid ...	naasking	2013-04-18 10:44
Forum topic	Five "laws" of programming paradigms The list does actually by Sean McDirmid This list reminds me of by Sean McDirmid	Peter Van Roy	2013-04-07 20:15
Forum topic	It's Alive! Continuous Feedback in UI Programming	Sean McDirmid	2013-04-05 10:55
Story	Who's online Why don't you just browse in by Sean McDirmid I think its fine, its just by Sean McDirmid	Ehud Lamm	2013-04-02 09:09
Story	LtU is migrating from Drupal PL memes! The one feature by Sean McDirmid No!!!!! Facebook is blocked by Sean McDirmid	Ehud Lamm	2013-04-02 07:38
Forum topic	Twenty Reasons Why You Should Use Boxer (Instead of LOGO) PL historians and archeologists by Sean McDirmid	Sean McDirmid	2013-04-01 20:31
Forum topic	Seeking thoughtful criticisms of functional programming and languages Good question. Basically, I by Sean McDirmid The typing (keyboard kind) by Sean McDirmid Fair enough. I don't equate by Sean McDirmid Evidence? Just because by Sean McDirmid	scottmcl	2013-03-31 00:40
Forum topic	general thread model motivations? No, I was referring to the by Sean McDirmid Threads are a low-level by Sean McDirmid The intuition behind by Sean McDirmid Parallelizing incremental by Sean McDirmid Parallel compilers by Sean McDirmid	Rys McCusker	2013-03-25 16:21
Story	Interactive Programming Does anyone have a cite for by Sean McDirmid	Luke Gorrie	2013-03-25 05:32
Story	Concurrent Revisions Sure, it was published in by Sean McDirmid Not to mention recent work by Sean McDirmid	naasking	2013-03-20 22:37
Story	Object Algebras Brand Hell by Sean McDirmid	James Noble	2013-03-16 14:38
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