Lambda the Ultimate

type	title	author	last post
Forum topic	Disallow shadowing? Structural editing comes to the rescue by Jules Jacobs	Y	2014-02-25 02:06
Forum topic	Examples for benefitfs of dynamic programming languages If you convert from the by Jules Jacobs I want to be able to state by Jules Jacobs Two points. One is that I by Jules Jacobs The problem you describe is by Jules Jacobs If your sets are tree sets by Jules Jacobs It actually works all the by Jules Jacobs Erlang is a pretty decent by Jules Jacobs I meant 'pay' to refer to by Jules Jacobs Pay as you go is exactly the by Jules Jacobs And isn't a dynamic language by Jules Jacobs ...	Sebastian Okon	2014-01-30 21:54
Forum topic	Less is more. When does static become dynamic? by Jules Jacobs What about staged by Jules Jacobs Are programming languages a by Jules Jacobs That is indeed a failure of by Jules Jacobs What if Jim suspects his by Jules Jacobs	Rys McCusker	2014-01-19 13:05
Forum topic	Different approaches to letting a programmer define interface implementations. Haskell has a open world by Jules Jacobs What would you use instead by Jules Jacobs Furthermore, not using GC by Jules Jacobs This does work in OCaml with by Jules Jacobs If you allow polymorphic by Jules Jacobs Right, that's an example by Jules Jacobs If you have the whole by Jules Jacobs	Kannan Goundan	2014-01-15 04:00
Forum topic	Pragmatic aspects of dimension types, and the problem of angles Actually I tried to argue by Jules Jacobs Why is this wrong? Droplets by Jules Jacobs In a unit system that by Jules Jacobs In many cases sin and cos by Jules Jacobs Fundamentally, units are by Jules Jacobs	Douglas McClean	2014-01-14 17:44
Forum topic	Its type checking, Jim, but not as we know it. I think the fields *are* by Jules Jacobs	Sean McDirmid	2013-12-20 05:56
Forum topic	Strong Mathematical Foundations for Computer Science You can in practice only by Jules Jacobs I'm not ridiculing you, you by Jules Jacobs Inductive[P] can be defined by Jules Jacobs Come on now, if you can't by Jules Jacobs * Coq does not have excluded by Jules Jacobs Of course. by Jules Jacobs The second example A or B B by Jules Jacobs I already did, see above. by Jules Jacobs In general I agree but in by Jules Jacobs It is only obscure because by Jules Jacobs ...	Hewitt	2013-11-25 14:58
Story	Python and Scientific Computing Very nice, I'm going to try by Jules Jacobs For me personally ggplot2 is by Jules Jacobs	Ehud Lamm	2013-11-22 10:03
Forum topic	Static typing and direct AST manipulation I don't know why you'd want by Jules Jacobs	tkirchner	2013-11-15 01:52
Forum topic	Why is Static Typing Hard? You're certainly right that by Jules Jacobs It is non-modular in the by Jules Jacobs There are several roles that by Jules Jacobs	Jon Purdy	2013-11-12 18:56
Forum topic	Interactive Parsing Theory P.S. while this is an by Jules Jacobs The same way you'd do by Jules Jacobs Parsing context free by Jules Jacobs	Alexander Morou	2013-11-09 06:15
Forum topic	Usable Live Programming Interactivity in papers are by Jules Jacobs Lets bikeshed by Jules Jacobs	Sean McDirmid	2013-10-20 06:05
Story	Types for Flexible Objects There is a bit of a grey by Jules Jacobs	naasking	2013-09-16 18:49
Story	Mixed-Site Variance I'm not proposing to infer by Jules Jacobs Why is declaration site by Jules Jacobs	bashyal	2013-09-09 21:39
Story	Why Concatenative Programming Matters This another aspect of by Jules Jacobs	James Iry	2013-09-09 19:40
Forum topic	Request for advice on a senior thesis This is great advice by Jules Jacobs	Taymon A Beal	2013-08-26 17:21
Forum topic	Typographical extensions for programming languages: breaking out of the ASCII straitjacket This reminds me of by Jules Jacobs	Sean McDirmid	2013-07-28 00:17
Story	The Three Laws of Programming Language Design Language is communication by Jules Jacobs Yes, + with 0 or * with 1. by Jules Jacobs I thought his explanation by Jules Jacobs	bashyal	2013-07-04 14:32
Forum topic	Teaching Garbage-Collection Why the notion of constant by Jules Jacobs Sure, performance depends on by Jules Jacobs It does hold. If you use a by Jules Jacobs Yes. For a generational GC by Jules Jacobs As far as I know that is how by Jules Jacobs	shriramk	2013-06-13 16:51
Forum topic	We're doing it wrong.... Exactly, big-O notation is by Jules Jacobs	Ray Dillinger	2013-05-15 19:34
Forum topic	Go-style defer-recover exception handling is better than try-catch style? So what happens if I by Jules Jacobs It would be easy to provide by Jules Jacobs actions = []try { for by Jules Jacobs Given that I have provided a by Jules Jacobs It is strange that you apply by Jules Jacobs Transform try/catch by Jules Jacobs	Limin Fu	2013-05-13 01:54
Forum topic	"Relational Model Outgrown" CACM May 2013 Just don't do it by Jules Jacobs There are several reasons by Jules Jacobs	Hewitt	2013-05-10 01:56
Forum topic	The Unreasonable Effectiveness of C Besides the points made by Jules Jacobs	raould	2013-05-08 19:47
Forum topic	Nesting of quasi-quotation We can model staged by Jules Jacobs It's not inconsistent. You by Jules Jacobs That works well enough if by Jules Jacobs Very interesting! In the by Jules Jacobs there is also the issue of by Jules Jacobs With structured editing you by Jules Jacobs With structured editing it by Jules Jacobs It came up in two different by Jules Jacobs Thanks! I'm still looking by Jules Jacobs	Jules Jacobs	2013-05-08 03:50
Forum topic	GADT vs. Type Classes In Data Types à la Carte a by Jules Jacobs This only works when you by Jules Jacobs	Greg Buchholz	2013-04-22 22:24
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