Lambda the Ultimate

type	title	author	last post
Forum topic	Eric Lippert's Sharp Regrets Very nice! by Jules Jacobs You can do higher kinded by Jules Jacobs Two languages implemented on by Jules Jacobs What kind of things are by Jules Jacobs Type erasure is a mistake. by Jules Jacobs	Wolf Logan	2015-08-24 11:10
Forum topic	Continuous feedback in PL Modularity by Jules Jacobs	Sean McDirmid	2015-08-21 14:39
Forum topic	Are Actors a Good Model for Computation. Are Actors a Good Topic for Forum Posts? by Jules Jacobs	Keean Schupke	2015-08-19 02:04
Forum topic	Branch Prediction and the Performance of Interpreters - Don’t Trust Folklore PIC's might not be by Jules Jacobs The only advantage of by Jules Jacobs	adrieng	2015-08-18 16:42
Forum topic	Limitations of FRP? Synchronous dataflow by Jules Jacobs Streams are not a primitive by Jules Jacobs Do you have a link to those by Jules Jacobs Yes. by Jules Jacobs That sounds like the by Jules Jacobs That is exactly what's by Jules Jacobs I don't think relying on a by Jules Jacobs Nice. Do you have any ideas by Jules Jacobs As far as I know, history is by Jules Jacobs SAC is about taking a by Jules Jacobs	Sean McDirmid	2015-08-04 08:28
Forum topic	Aggregations (e.g., sets) in Logic Programs Aggregation in Datalog by Jules Jacobs	Hewitt	2015-08-03 00:08
Forum topic	Research vs implementation, theory vs practice, and LtU In my opinion a more by Jules Jacobs Should a proxy that can be by Jules Jacobs Motivation for dependent types by Jules Jacobs If you want blood you need by Jules Jacobs You could say that "is quick by Jules Jacobs I agree, but the point I'm by Jules Jacobs I don't think bug free by Jules Jacobs What does homotopy type theory have to do with PL? by Jules Jacobs Your argument seems to be by Jules Jacobs Not even wrong! by Jules Jacobs ...	Blaisorblade	2015-07-28 16:57
Forum topic	When are Actors appropriate? There is no ostracizing by Jules Jacobs	raould	2015-07-21 16:25
Forum topic	Who can make LtU2? The software already exists, by Jules Jacobs	raould	2015-07-19 21:56
Story	Don Syme receives a medal for F# And units of measure and by Jules Jacobs	Ohad Kammar	2015-07-06 18:06
Forum topic	Strengthening Process Calculi If you might be tempted to by Jules Jacobs	raould	2015-07-06 12:07
Forum topic	Compilation to C, a definitive guide? Perhaps the winner of by Jules Jacobs Editors, debuggers, crash by Jules Jacobs	naasking	2015-07-05 19:00
Forum topic	Good syntax for single argument methods? I don't know about Scala, by Jules Jacobs So do you want textual by Jules Jacobs In Ruby draw circle(1,2) by Jules Jacobs Ruby supports this syntax by Jules Jacobs	Sean McDirmid	2015-06-17 21:36
Story	The Unison Programming Platform Even if it isn't a good by Jules Jacobs A version control system by Jules Jacobs The limitation is with git, by Jules Jacobs	naasking	2015-06-13 14:16
Story	Composite Replicated Data Types: eventually consistent libraries as non-leaky abstractions A problem with up and down by Jules Jacobs Isn't that already what by Jules Jacobs Performance of a database is by Jules Jacobs	gasche	2015-05-30 21:12
Forum topic	Have tracing JIT compilers won? What about Roslyn, is that a by Jules Jacobs Static analysis when idling by Jules Jacobs	Peter Michaux	2015-05-26 21:09
Forum topic	From Programming Language Design (PLD) to Programmer Experience Design (PXD) Producer/consumer is in the eye of the beholder by Jules Jacobs Often when you are debugging by Jules Jacobs What I was getting at was: - by Jules Jacobs SubText / Usable Live Programming by Jules Jacobs Ah, I read your question by Jules Jacobs I don't think it's a binary by Jules Jacobs The executable runs on the by Jules Jacobs Note I'm not talking about by Jules Jacobs Why would you need to edit by Jules Jacobs Here are some syntactic by Jules Jacobs ...	Sean McDirmid	2015-05-20 12:15
Forum topic	Divergence not bottom? The problem is that you've by Jules Jacobs Yes, isn't that what by Jules Jacobs Why would you not require by Jules Jacobs That's not entirely true for by Jules Jacobs Ah, I thought you wanted a by Jules Jacobs Maybe monad / exceptions? by Jules Jacobs	Matt M	2015-05-20 00:23
Forum topic	Trouble understanding Danvy's functional unparsing There is also a paper that by Jules Jacobs	jezng	2015-05-18 13:35
Forum topic	A sketch of a "design papers/pearls" category in academic conferences Nice idea. Hopefully this by Jules Jacobs	gasche	2015-05-12 22:41
Forum topic	What makes LtU more or less enjoyable? Perhaps outreach would help, by Jules Jacobs I would say the observed by Jules Jacobs	gasche	2015-05-07 06:03
Forum topic	C++ Parser Combinator Library In another discussion I was by Jules Jacobs	Keean Schupke	2015-05-01 13:29
Story	A theory of changes for higher-order languages — incrementalizing λ-calculi by static differentiation Nice paper. Maybe I didn't by Jules Jacobs	gasche	2015-04-24 13:57
Forum topic	Making implicits less powerful? From section 3.5:The rules by Jules Jacobs BTW, just tracking the size by Jules Jacobs Why do we want separate by Jules Jacobs You can generate by Jules Jacobs Yes it will fail to type by Jules Jacobs As I said, types can be by Jules Jacobs The point of dependent types by Jules Jacobs duplicate by Jules Jacobs I'm doing something similar by Jules Jacobs What checks do dependently by Jules Jacobs ...	Vladimir Slepnev	2015-02-20 16:07
Forum topic	Negation in Logic Languages I don't understand split. by Jules Jacobs An interesting solution is by Jules Jacobs	Keean Schupke	2015-02-19 17:21
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