Lambda the Ultimate

type	title	author	last post
Forum topic	mobile web apps are slow -- and GC is to blame I think big objects in most by Sean McDirmid We could do better with GC by Sean McDirmid	Christian Lindig	2013-07-18 22:05
Forum topic	Tools that provide "closed" view of open/extensible abstractions? In jiazzi, we also had the by Sean McDirmid Wasn't Simonyi's intentional by Sean McDirmid I believe their is some by Sean McDirmid There is Don Batori's work by Sean McDirmid	Tess Foley	2013-07-12 17:23
Story	The programming languages behind "the mother of all demos" Bret Victor wrote a few by Sean McDirmid	Ehud Lamm	2013-07-05 22:29
Story	The Three Laws of Programming Language Design Copying your comment to this by Sean McDirmid Names are too valuable to be wasted on compilers by Sean McDirmid I'm doing it. Functions and by Sean McDirmid Ya, I wrote that post awhile by Sean McDirmid You can! Or at least...I by Sean McDirmid Nominative subtyping is an by Sean McDirmid Subtyping is very compatible by Sean McDirmid Subtyping with regards to by Sean McDirmid Subtyping and parametric by Sean McDirmid	bashyal	2013-07-04 14:32
Forum topic	A New Kind of Type System This is quite useful, I'll by Sean McDirmid This is quite useful, by Sean McDirmid Thanks for the feedback. I by Sean McDirmid The Yin and Yang of Modular Object Type Inference by Sean McDirmid Modular object and type inference with assignment graphs by Sean McDirmid Where are the constraints by Sean McDirmid A better name by Sean McDirmid That is a quite useful by Sean McDirmid Thanks! I'll check these by Sean McDirmid You can help them if you by Sean McDirmid ...	Sean McDirmid	2013-07-03 18:06
Forum topic	So You are Thinking of Doing a PhD... Californians, remember it by Sean McDirmid	naasking	2013-07-03 13:51
Forum topic	When will we all have effect systems? Or you know....one could use by Sean McDirmid Koka! by Sean McDirmid	raould	2013-07-01 20:38
Forum topic	Dynamic inheritance? Yes, no, call me maybe by Sean McDirmid	Gabriel Horvath	2013-06-29 15:07
Forum topic	Library vs. domain specific language To be fair, library design by Sean McDirmid Libraries can be composed... by Sean McDirmid	Gergely Buday	2013-06-28 15:39
Forum topic	a Scientific Basis for Visual Notations This seems like a good paper by Sean McDirmid	raould	2013-06-17 13:12
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
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