Lambda the Ultimate

type	title	author	last post
Forum topic	Those pesky higher-rank types. Or how to type \f x y. (f x, f y) Even though marco doesn't by Jules Jacobs	marco	2014-05-26 17:22
Forum topic	Removing User Interface Complexity, or Why React is Awesome I'm going in the opposite by Jules Jacobs Incremental iteration by Jules Jacobs Can you elaborate on this? by Jules Jacobs	Sean McDirmid	2014-05-23 15:12
Forum topic	Executable comments Here is the associated by Jules Jacobs Check this out: Usable Live by Jules Jacobs Of course I do not speak for by Jules Jacobs	Sean McDirmid	2014-05-22 23:23
Forum topic	type theory about programming language? I do not actually know much by Jules Jacobs The rest of programming by Jules Jacobs	Rys McCusker	2014-05-21 23:10
Forum topic	Safe interior references in the presence of mutation	Jules Jacobs	2014-05-20 20:26
Forum topic	Value-level programming I think he uses these words by Jules Jacobs Yes, certainly Scala by Jules Jacobs ML modules are also similar by Jules Jacobs	Vladimir Slepnev	2014-05-08 19:51
Story	.NET Compiler Platform ("Roslyn") I don't really understand by Jules Jacobs Instead of building a parse by Jules Jacobs In theory you don't really by Jules Jacobs Indeed you could take a by Jules Jacobs Parser combinators are just by Jules Jacobs	Ehud Lamm	2014-04-22 23:53
Forum topic	"null" is to tagged unions as ???? is to records Yes, certainly should be by Jules Jacobs This extra field for every by Jules Jacobs Records are formally dual to by Jules Jacobs	Kannan Goundan	2014-03-22 20:06
Forum topic	Resilient Languages I disagree that PLT by Jules Jacobs In many cases this mundane by Jules Jacobs The divisions of fields is by Jules Jacobs I think PL research by Jules Jacobs	spdegabrielle	2014-03-11 00:57
Forum topic	Inheritance is the Base Class of Evil You are interpreting each by Jules Jacobs	Charles Torre	2014-02-26 22:16
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
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