Lambda the Ultimate

type	title	author	last post
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
Forum topic	ACPUL - Another CPU Language - a{}; I don't think you'll find by Sean McDirmid	d08ble	2014-01-10 00:58
Forum topic	Its type checking, Jim, but not as we know it. With a type annotation you by Sean McDirmid weak assignment by Sean McDirmid Say:trait T: var Field1, by Sean McDirmid You can definitely by Sean McDirmid Worst case is bad (I'm not by Sean McDirmid Consider one method with two by Sean McDirmid In the case of your example, by Sean McDirmid Ya, assignments do depend on by Sean McDirmid Assignment doesn't deviate by Sean McDirmid Long reply to nested comment by Sean McDirmid ...	Sean McDirmid	2013-12-20 05:56
Forum topic	Practical rules for controlling program effects in an imperative / OOP environment. I am definitely ambitious in by Sean McDirmid Managing concurrency effects is enormously easy by Sean McDirmid	bryanedds	2013-12-08 06:50
Forum topic	Designscript I saw a demo by Luke Church by Sean McDirmid	chrisoliver	2013-11-26 22:03
Forum topic	actors conflate too much I can't read blogspot behind by Sean McDirmid	raould	2013-11-16 01:13
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
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