Lambda the Ultimate

type	title	author	last post
Forum topic	Language features for tracing JIT? Inline value caches don't need tracing by pkhuong	Luke Gorrie	2017-08-21 14:33
Forum topic	SK Calculus not Consider SeKsy? Supercombinators by pkhuong	cdiggins	2017-06-10 16:33
Forum topic	Conversion of 'functional' to 'imperative' algorithms: is it possible? This works when you want to h by pkhuong Linear Types? by pkhuong	Achilleas Margaritis	2017-03-31 19:14
Forum topic	Was there a language with an explicit call stack? You do in the common case if by pkhuong My point is that you can by pkhuong you almost have to use the by pkhuong CONS should not Evaluate its Arguments by pkhuong	Alex Shpilkin	2016-05-13 11:57
Forum topic	Typed Data Phi uses x86, with wide AVX by pkhuong	Andrew Moss	2015-12-31 08:59
Forum topic	Logical and Functional Programming in Each Other "Preserving simple semantics" by pkhuong	Jack Waugh	2015-12-02 19:01
Story	Reagents: Expressing and Composing Fine-grained Concurrency I think this work would by pkhuong	naasking	2015-08-29 16:23
Forum topic	Branch Prediction and the Performance of Interpreters - Don’t Trust Folklore Programmer controlled specialisation by pkhuong That's really nice work, by pkhuong	adrieng	2015-08-18 16:42
Forum topic	Concatenative Language Kont With small, well-behaved words by pkhuong	Chris	2014-10-22 09:15
Forum topic	Designing an alternative to s-expressions for language extensibility Not really. Can you write by pkhuong	Olivier Breuleux	2014-04-20 21:03
Forum topic	"Down with Lambda-Lifting" Here's what I understand after a quick skim by pkhuong	dbfaken	2014-02-24 17:04
Forum topic	The Unreasonable Effectiveness of C That C isn't anymore by pkhuong	raould	2013-05-08 19:47
Forum topic	What will programming look like in 2020? Far from it. But the coding by pkhuong Why is transposing a matrix by pkhuong	Sean McDirmid	2013-03-01 03:45
Forum topic	P = NP question or the DFA is on tape - by pkhuong First, I'll argue from by pkhuong The runtime of a DFA is by pkhuong Ah, if I understand you by pkhuong I agree. Where does that by pkhuong The linear time is in terms by pkhuong Computing the negation of a by pkhuong DFAs accept or reject in linear time by pkhuong	Carter Cheng	2012-10-10 22:26
Forum topic	How much power should programmers have? Programmer used bogo-sort by pkhuong Compilers should for example by pkhuong	Ray Dillinger	2012-09-19 03:12
Forum topic	Languages with 'unique' programs How would one express "PRINT by pkhuong	dataangel	2012-06-04 11:11
Story	Common Lisp: The Untold Story Or, if you prefer loop(let by pkhuong	Manuel J. Simoni	2012-05-20 23:46
Story	Type-checking Modular Multiple Dispatch with Parametric Polymorphism and Multiple Inheritance It's simpler to claim high by pkhuong	Manuel J. Simoni	2012-03-01 16:27
Forum topic	Embedding Prolog in Haskell I'm not sure if that's what by pkhuong I think that's an by pkhuong	Frank Atanassow	2012-02-13 17:04
Story	Diagram showing all programming paradigms and their relationships Tail call optimisation is too easily forgotten by pkhuong	Peter Van Roy	2012-01-13 17:06
Forum topic	Register Allocation By Model Transformer Semantics -- need for early comments Minimiz[ing] the traffic between registers and memory by pkhuong	yinwang0	2012-01-09 02:49
Forum topic	"We Really Don't Know How to Compute!" by Gerald Sussman if you had pattern matching by pkhuong	puredanger	2011-11-19 23:37
Forum topic	Implementor's guide/tutorial to delimited continuations? I find that unlikely; that by pkhuong Are delimited continuations by pkhuong	Manuel J. Simoni	2011-08-02 18:56
Forum topic	Why is tail call optimization an issue in GC'd languages? I find this question by pkhuong Activation records are often by pkhuong	Sriram Srinivasan	2011-08-02 09:20
Forum topic	Algebra of Programming Proving the equivalence of by pkhuong	Carter Cheng	2011-04-12 10:15
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