Lambda the Ultimate

type	title	author	last post
Forum topic	Program in a program Link by Jules Jacobs AFAIK the CLR specializes by Jules Jacobs Sidenote by Jules Jacobs	Victor Eijkhout	2014-09-02 12:43
Story	Cost semantics for functional languages That's very nice. In by Jules Jacobs	gasche	2014-08-21 22:00
Story	Apple Introduces Swift Abstract interpretation can by Jules Jacobs	bashyal	2014-08-21 17:54
Forum topic	Reactive Programming Probably Conal Elliott. He by Jules Jacobs Buffering is necessary if by Jules Jacobs Thanks. Do you have an by Jules Jacobs What happens if you ask for by Jules Jacobs Why are weak references a by Jules Jacobs A notion of glitch-freeness with assignment by Jules Jacobs Thanks, that makes sense. by Jules Jacobs Which papers/web pages can I by Jules Jacobs Do you have a link to Kim by Jules Jacobs	J Storrs Hall	2014-08-06 03:32
Forum topic	Generational Real-Time Garbage Collection I think the state of the art by Jules Jacobs	raould	2014-07-29 00:47
Forum topic	Do Logic Languages Need Negation? See computational by Jules Jacobs Can you explain why we want by Jules Jacobs All logic languages are by Jules Jacobs I can read logic programs by Jules Jacobs I find this very hard to by Jules Jacobs An embedded DSL is always by Jules Jacobs You can still express by Jules Jacobs You need to search for both by Jules Jacobs Whether you search for by Jules Jacobs Ah! I think I see what you by Jules Jacobs ...	Keean Schupke	2014-07-22 17:47
Forum topic	What's in a name? How about this: libraries by Jules Jacobs Search does not remove the by Jules Jacobs	Sean McDirmid	2014-07-22 03:28
Forum topic	Is Rx FRP? For that map you need an by Jules Jacobs I don't think it's easy to by Jules Jacobs That's very interesting, but by Jules Jacobs Rx has event streams, which by Jules Jacobs	Sean McDirmid	2014-07-08 18:02
Forum topic	Rank-0 Intersection Type System Enough for what? You can by Jules Jacobs HM is decidable because for by Jules Jacobs I find the notation quite by Jules Jacobs	Keean Schupke	2014-06-15 11:52
Forum topic	Symbol visibility (public, private, protected, etc.) I don't think there is an by Jules Jacobs These problems are of by Jules Jacobs This is expressible with by Jules Jacobs Something even better by Jules Jacobs	Talin	2014-05-31 05:02
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
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