Lambda the Ultimate

type	title	author	last post
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
Forum topic	Constraint-Based Type Inference and Parametric Polymorphism There is a close analogy by Jules Jacobs I'm not entirely sure why by Jules Jacobs Take for instance the by Jules Jacobs You are saying contradictory by Jules Jacobs Exactly, and ML gives you by Jules Jacobs C++ doesn't do the following by Jules Jacobs done by Jules Jacobs I tried to fix it. Still by Jules Jacobs I'll split up the code so by Jules Jacobs	Sean McDirmid	2015-02-13 23:43
Forum topic	Future of Programming Videos, final program Excellent stuff, especially by Jules Jacobs	Sean McDirmid	2014-12-12 14:09
Forum topic	Looking for a good online forum on compiler design and implementation One difference is that in by Jules Jacobs Out arguments by Jules Jacobs Much of traditional parsing by Jules Jacobs	Talin	2014-12-03 22:33
Forum topic	Impact of static type systems on productivity of actual programmers: first experiment I've seen documented. Why is type erasure by Jules Jacobs	Ray Dillinger	2014-11-18 03:22
Forum topic	Whither Flow Analysis? I remember that there was by Jules Jacobs Better precision can lead to by Jules Jacobs	raould	2014-11-14 11:54
Story	Exceptional syntax And a 'lazy' pattern. by Jules Jacobs	Chung-chieh Shan	2014-11-04 18:51
Forum topic	Virgil: a statically-typed language balancing functional and OO features How should we evaluate by Jules Jacobs	Kartik Agaram	2014-10-25 23:08
Forum topic	Jonathan Blow's next foray into game language design You probably won't beat a by Jules Jacobs A region system is quite a by Jules Jacobs	jdougan	2014-10-21 20:35
Forum topic	On constness Can you give an example of by Jules Jacobs I see. My solution does by Jules Jacobs The linearity part is across by Jules Jacobs I don't understand what the by Jules Jacobs That is less expressive than by Jules Jacobs I thought these kind of by Jules Jacobs It's just sugar on top of by Jules Jacobs It's fine if there are other by Jules Jacobs Can't forget: par only by Jules Jacobs Actually... by Jules Jacobs ...	Talin	2014-10-13 20:58
Forum topic	Experiment Check this out by Jules Jacobs There are many ways to fit a by Jules Jacobs I tried to think of a way to by Jules Jacobs I don't think there is any by Jules Jacobs Overflow checks can't be the by Jules Jacobs Yes, there is no way that by Jules Jacobs Apparently swift is by Jules Jacobs	Ehud Lamm	2014-10-01 17:10
Forum topic	Controlling time and space Have you checked out Froc? by Jules Jacobs	Sean McDirmid	2014-09-28 23:48
Forum topic	Automatically Deriving Mutable Data Structures? It's not possible to do this by Jules Jacobs	naasking	2014-09-22 14:11
Story	Scala woes? You're right, I was thinking by Jules Jacobs This paper dismisses record by Jules Jacobs	Ehud Lamm	2014-09-20 21:18
Forum topic	Who Needs Garbage Collection? by Jules Jacobs With a lazy language you by Jules Jacobs Usually you have to use by Jules Jacobs Can you describe in more by Jules Jacobs Heavy machinery needed by Jules Jacobs	Keean Schupke	2014-09-20 06:41
Forum topic	Languages without operator precedence What are operators? by Jules Jacobs	Douglas McClean	2014-09-10 20:40
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
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