Lambda the Ultimate

type	title	author	last post
Story	Functional Geometry and the Traite ́ de Lutherie I believe we signed a treaty by Sean McDirmid	bashyal	2014-04-05 09:57
Forum topic	Future of Programming workshop Thanks. That makes sense. by Sean McDirmid Actually, I don't think you by Sean McDirmid Noted. I never knew I had by Sean McDirmid I'm not a moderator with by Sean McDirmid Sorry, I don't get you. by Sean McDirmid	Sean McDirmid	2014-04-04 11:47
Forum topic	Toward a better programming According to xkcd, the by Sean McDirmid	ibdknox	2014-04-01 05:35
Story	What Are The Resolved Debates in General Purpose Language Design? . It seems to me that the by Sean McDirmid Rule driven programming is by Sean McDirmid The current way of handling by Sean McDirmid FYI, C# is a newish language by Sean McDirmid I design languages without by Sean McDirmid	James Iry	2014-03-31 20:55
Forum topic	Avoiding Actor Deadlocks--JActor Jefferson's Virtual Time is by Sean McDirmid	laforge49	2014-03-27 04:37
Story	Facebook Introduces ‘Hack,’ the Programming Language of the Future Give me a few days, and then by Sean McDirmid Effects are ok, we can have by Sean McDirmid Gradual typing is also in by Sean McDirmid	bashyal	2014-03-26 03:53
Forum topic	CFP: Book Chapters for "A Librarian’s Introduction to Programming Languages" I didn't think he wanted to by Sean McDirmid	mfidelman	2014-03-25 23:50
Forum topic	bodyf*ck: an esoteric programming environment using camera input	Sean McDirmid	2014-03-13 03:51
Forum topic	The Evolution of CS Papers You are making the wrong by Sean McDirmid Not the point of the by Sean McDirmid	Sean McDirmid	2014-03-11 14:09
Forum topic	Resilient Languages Language theory is mostly by Sean McDirmid Amen. by Sean McDirmid Exactly, and this whole by Sean McDirmid	spdegabrielle	2014-03-11 00:57
Story	Determinism Is Not Enough: Making Parallel Programs Reliable with Stable Multithreading I think replay is a good way by Sean McDirmid Junfeng and Dawson are by Sean McDirmid	Allan McInnes	2014-03-05 19:33
Story	Wirth Symposium They just got bought for by Sean McDirmid For tooling, you are only by Sean McDirmid Correct, but it is always a by Sean McDirmid The question is do we need by Sean McDirmid Missed a word. I meant "not by Sean McDirmid And yet kernels in by Sean McDirmid	Luke Gorrie	2014-03-04 20:32
Forum topic	Inheritance is the Base Class of Evil video works best when coupled with other media by Sean McDirmid Bret Victor has done well by Sean McDirmid Videos are different beasts by Sean McDirmid I've actually tried going by Sean McDirmid I mean, is the talk working by Sean McDirmid Is the wisdom in this talk by Sean McDirmid	Charles Torre	2014-02-26 22:16
Forum topic	Wolfram Language To Wolfram's credit, this by Sean McDirmid	Sean McDirmid	2014-02-26 09:48
Forum topic	Disallow shadowing? Or fuzzier type systems by Sean McDirmid Let me deescalate by by Sean McDirmid I like it. It seems more by Sean McDirmid I've been playing with a by Sean McDirmid I.e. Names shouldn't be by Sean McDirmid	Y	2014-02-25 02:06
Forum topic	How about switching to Markdown? HTML makes it very difficult by Sean McDirmid	Y	2014-02-15 23:39
Forum topic	POPL 2014 proceedings available freely for all Communities by Sean McDirmid Why don't we start our own by Sean McDirmid people could try to deduce by Sean McDirmid Amen, but what to do about by Sean McDirmid I thought proceedings were by Sean McDirmid	gasche	2014-02-08 00:34
Forum topic	Structured Generative Models of Natural Source Code	Sean McDirmid	2014-02-06 03:28
Forum topic	PuzzleScript I didn't get it :) Many by Sean McDirmid The lines are blurry. by Sean McDirmid I think you and parent might by Sean McDirmid	Tess Foley	2014-02-01 15:29
Forum topic	Minimal implementation of state machines The FRP solution would by Sean McDirmid Check out YinYang by Sean McDirmid	giuseppemag	2014-02-01 05:12
Forum topic	Examples for benefitfs of dynamic programming languages Another limitation of by Sean McDirmid Since you are doing a by Sean McDirmid	Sebastian Okon	2014-01-30 21:54
Forum topic	A glimpse into a new general purpose programming language under development at Microsoft Wow! Reading the post, they by Sean McDirmid	Charles Torre	2014-01-27 05:08
Forum topic	Less is more. I've never heard of any one by Sean McDirmid Ad hoc polymorphism by Sean McDirmid My feeling is that there by Sean McDirmid I understand what PL courses by Sean McDirmid One could always consider by Sean McDirmid	Rys McCusker	2014-01-19 13:05
Forum topic	Different approaches to letting a programmer define interface implementations. Basically, I'm just saying by Sean McDirmid Mixins + virtual method by Sean McDirmid Not to mention by Sean McDirmid overloading by Sean McDirmid	Kannan Goundan	2014-01-15 04:00
Story	Pure Subtype Systems Now go backwards by Sean McDirmid Given x := y, x and y by Sean McDirmid A & B could either be types by Sean McDirmid We also want to model := as by Sean McDirmid We don't allow mutable by Sean McDirmid := actually isn't by Sean McDirmid Has anyone ever come up with by Sean McDirmid	naasking	2014-01-14 06:09
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