user | Lambda the Ultimate

user

view
track

type	title	author	last post
Forum topic	doing letrec with lambdas Excited by MingyanGuo Relevant paper by shap Not the same thing by shap Polyvariadic fixpoint combinator by Oleg btw by John Shutt Excellent solution. by MingyanGuo This only works in a call by name model though by HALLOW9000 Let-polymorphism by shap ouch by jimdesu a recent discussion of by Marlene Miller ...	jimdesu	2014-09-29 19:46
Forum topic	Kaya: Declarative Reactive I'll take your advice. by DavidBroderick The paper format can help by Sean McDirmid Thanks by DavidBroderick Fascinating by Roly Perera	DavidBroderick	2014-09-29 15:07
Forum topic	Controlling time and space I don't understand very by Sean McDirmid Differential execution by Roly Perera Has anyone had very much by Sean McDirmid Have you checked out Froc? by Jules Jacobs Change propagation by Roly Perera SAC / Glitch (continued) by Roly Perera Ya, I've been talking to by Sean McDirmid SAC / Glitch by Roly Perera Talk to Matthew Hammer by neelk ad-hoc application of SAC by dmbarbour ...	Sean McDirmid	2014-09-28 23:48
Forum topic	A StackExchange Site for Programming Language Theory The StackExchange proposal by dmbarbour Examples? by gasche Commitment Phase by dmbarbour Going to do the experiment myself by marco Factoring. 14, 27, or many more bits? by marco It's perhaps worth keeping by John Shutt Found Knuth on a Satisfiability Shootout by marco Yah. Seen it by marco Yeah well by marco Ah by marco ...	aaditmshah	2014-09-27 15:30
Forum topic	Re-thinking Prolog I'd always thought tags by John Shutt Good illustration of the main points by Oleg Thanks! by Eivind Eklund Prolog already handles what they want by Gergö Barany I noticed that! by Pseudonym Multiparadigm by Nanitous search strategies by dmbarbour Rosette by lmeyerov Synthesis mentality? by Eivind Eklund Bottom up? by Neil Madden ...	Alex1	2014-09-24 11:21
Story	Breaking the Complexity Barrier of Pure Functional Programs with Impure Data Structures One source for both mutable and immutable by François-René Rideau	naasking	2014-09-24 06:16
Forum topic	Automatically Deriving Mutable Data Structures? Breaking the Complexity Barrier by naasking It's not possible to do this by naasking It's not possible to do this by Jules Jacobs data structure synthesis by Sriram Srinivasan Look into optimizations by dmbarbour	naasking	2014-09-22 14:11
Forum topic	Call for Scholarship Applications: Programming Languages Mentoring Workshop - a POPL workshop (Deadline: September 19!) Deadline extended till Wednesday, September 24 by Alan Schmitt	Alan Schmitt	2014-09-22 06:16
Forum topic	Optimisation by repeated beta- and eta-reduction The paradox of the heap, reversed by johnwcowan A few examples of sub-TM by dmbarbour approaches to chomsky hierarchy by Thomas Lord Pointer size wouldn't matter by naasking Mostly just verifying your assumptions as correct by Eivind Eklund The difference between any two pointers in the same array only by Eivind Eklund close enough to my understanding by Rys McCusker C pointers and ints by Thomas Lord Pointers are different from ints by adrieng In some sense C defines a proper Turing (equivalent) machine by Matt M ...	L Spice	2014-09-22 01:00
Story	Scala woes? To be sure... by Blaisorblade The guy who wrote that is by Sean McDirmid Haskell has that whole by Blaisorblade You're right, I was thinking by Jules Jacobs Product types by chrisoliver Not a fair comparison by Sam Tobin-Hochstadt This paper dismisses record by Jules Jacobs Binary methods are the big by Blaisorblade In case it needs saying... by lexspoon That is common in the FP by Sean McDirmid ...	Ehud Lamm	2014-09-20 21:18
first page previous page next page last page