Lambda the Ultimate

type	title	author	last post
Forum topic	Why is Static Typing Hard? Slicer usability by Sean McDirmid We might try for a type by Sean McDirmid Let me adjust my position a by Sean McDirmid You can imagine, and indeed by Sean McDirmid code completion \not\in sanity checking by Sean McDirmid Working on it. by Sean McDirmid Safety is quite different by Sean McDirmid Dynamic typing is incredibly by Sean McDirmid Ask not what your program can do for your types... by Sean McDirmid Dynamic languages still have by Sean McDirmid ...	Jon Purdy	2013-11-12 18:56
Forum topic	Interactive Parsing Theory If you want to go that by Sean McDirmid Interesting, the data-flow by Sean McDirmid Structured editing in its by Sean McDirmid I guess its not impossible. by Sean McDirmid Glitch is much more general by Sean McDirmid Right. If your language has by Sean McDirmid This is part of the Harmonia by Sean McDirmid this process would involve by Sean McDirmid REPLs are boring by Sean McDirmid The complexity is that while by Sean McDirmid ...	Alexander Morou	2013-11-09 06:15
Forum topic	xkcd: Functional If it were one line, it by Sean McDirmid Run with that. It could be a by Sean McDirmid	Sean McDirmid	2013-11-05 20:23
Forum topic	Alexander Bumstead learns the Lambda Calculus I'm thinking that they by Sean McDirmid	tim finin	2013-11-05 07:12
Forum topic	Usable Live Programming The essay on by Sean McDirmid Intellitrace works by by Sean McDirmid web essay by Sean McDirmid Accepted into onward. by Sean McDirmid Also difficult by Sean McDirmid Its not the message I think, by Sean McDirmid Tracing is just by Sean McDirmid Can you help me by by Sean McDirmid Someone wrote this by Sean McDirmid Anyway, I think we're by Sean McDirmid ...	Sean McDirmid	2013-10-20 06:05
Story	Taking Off the Gloves with Reference Counting Immix Regions/arenas aren't very by Sean McDirmid	naasking	2013-10-18 02:42
Forum topic	List of ICFP2013 papers with preprints Second, that reviewers have by Sean McDirmid Accepting fewer papers puts by Sean McDirmid I'm quite sure they do, by Sean McDirmid They do support png now, by Sean McDirmid arXiv sucks because they by Sean McDirmid	vieiro	2013-10-15 10:58
Forum topic	Trip Reports on Dagstuhl Live Coding seminar Thank you. I'm willing to by Sean McDirmid Think of it as training when by Sean McDirmid Hanging out in a Parisian by Sean McDirmid I understand that. I'm not by Sean McDirmid Perhaps we are talking by Sean McDirmid You seem to throw out some by Sean McDirmid I don't really care how live by Sean McDirmid We are all tinkerers, it is by Sean McDirmid I'm a big fan of tinkering by Sean McDirmid As far as I can tell, you by Sean McDirmid ...	yaxu	2013-10-07 12:48
Forum topic	How is LtU doing? gateway drugs by Sean McDirmid On the evening news, you see by Sean McDirmid Is the LtU front page by Sean McDirmid Kitten sounds like a great by Sean McDirmid	Sean McDirmid	2013-09-29 23:55
Story	Types for Flexible Objects You can always specify your by Sean McDirmid Whole program is a by Sean McDirmid (delete) by Sean McDirmid Flat global namespaces (and by Sean McDirmid The question is how much by Sean McDirmid The term assignment graph by Sean McDirmid Modularity is a gradient by Sean McDirmid And here I have lived my by Sean McDirmid	naasking	2013-09-16 18:49
Forum topic	Glitch: A Live Programming Model Time for consistency is a by Sean McDirmid Maybe we are talking about by Sean McDirmid We can avoid trapping state by Sean McDirmid non monotonic by Sean McDirmid I wonder if my virtual time by Sean McDirmid	Sean McDirmid	2013-09-16 04:01
Forum topic	Coroutines as a Basis for UI Programming The point about immediate by Sean McDirmid	Jason Priestley	2013-09-15 00:40
Story	Mixed-Site Variance Whatever, just give me by Sean McDirmid I saw Gabriel's talk at by Sean McDirmid I was referring to by Sean McDirmid Alot of heuristics involved, by Sean McDirmid We still aren't talking by Sean McDirmid Confirmation bias by Sean McDirmid Heh. I think that by Sean McDirmid Nails and hammers by Sean McDirmid So, from the point of view by Sean McDirmid Done. by Sean McDirmid ...	bashyal	2013-09-09 21:39
Forum topic	OOPSLA 2013 advance tech program up Next generation programming enironments by Sean McDirmid Onward! 2013 program by Sean McDirmid And 2003: by Sean McDirmid Just for fun, let's compare by Sean McDirmid	Sean McDirmid	2013-09-02 05:22
Forum topic	SF-calculus I've been doing this in by Sean McDirmid	Barry Jay	2013-08-30 18:42
Forum topic	Commutative Effects You really should submit a by Sean McDirmid leaky abstractions by Sean McDirmid I was talking about the by Sean McDirmid Computation does not consume by Sean McDirmid Obviously, Glitch won't by Sean McDirmid I can understand that you by Sean McDirmid Time is quite tricky to by Sean McDirmid The reason to 'delay it' is by Sean McDirmid Interesting debate, I'll by Sean McDirmid I'm not against time, I'm by Sean McDirmid ...	Sean McDirmid	2013-08-29 02:13
Forum topic	Parsing people, unite! Call for position papers for Parsing@SLE (SPLASH, Indianapolis) Going incremental by Sean McDirmid	jurgenv	2013-08-28 06:56
Forum topic	Synth Project Announcement You might be interested in by Sean McDirmid	Ivan V.	2013-08-27 12:13
Forum topic	Request for advice on a senior thesis I wonder if you guys are by Sean McDirmid Find a good mentor by Sean McDirmid	Taymon A Beal	2013-08-26 17:21
Forum topic	lambda cube... 3D Turtles all the way down by Sean McDirmid I was just being pragmatic, by Sean McDirmid One could always hide the by Sean McDirmid by Sean McDirmid Thanks! I'm still going by Sean McDirmid I have a feeling we won't be by Sean McDirmid I'm positive my test case is by Sean McDirmid Glitch is procedural, any by Sean McDirmid Glitch traces dependencies. by Sean McDirmid Just to note, there are by Sean McDirmid ...	raould	2013-08-26 05:25
Forum topic	Beyond FRP: physics-inspired programming abstractions? Just because you could by Sean McDirmid Maybe a better versed by Sean McDirmid I apologize for labeling by Sean McDirmid Been there done that. by Sean McDirmid SPAM or just off topic? by Sean McDirmid Message passing is simply by Sean McDirmid I've released a new version by Sean McDirmid In a physics engine, by Sean McDirmid Cool. I'm looking forward to by Sean McDirmid With collision detection and by Sean McDirmid ...	Sean McDirmid	2013-08-22 19:13
Forum topic	Error reporting strategies during parsing Why should a JSON packet be by Sean McDirmid Why are we still reporting by Sean McDirmid Nothing that is very modern by Sean McDirmid Definitely. The scala v2 IDE by Sean McDirmid Not bad for an by Sean McDirmid incremental by Sean McDirmid	Matt Fenwick	2013-08-15 20:16
Forum topic	Future of Programs using Assertions, Goals, and Plans Eventual consistency is ok... by Sean McDirmid Ya, we should also by Sean McDirmid	Hewitt	2013-08-10 01:07
Forum topic	Cognitive Computing Programming Paradigm: A Corelet Language for Composing Networks of Neurosynaptic Cores	Sean McDirmid	2013-08-09 22:24
Forum topic	The Power of Interoperability: Why Objects Are Inevitable Show me examples and don't by Sean McDirmid I've been able to get by Sean McDirmid In what cases are ADTs by Sean McDirmid Funny, my only complaint by Sean McDirmid It would be very interesting by Sean McDirmid And yet, Rich Hickey by Sean McDirmid I think the argument based by Sean McDirmid It also doesn't say anything by Sean McDirmid	Sean McDirmid	2013-08-07 23:59
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