Lambda the Ultimate

type	title	author	last post
Forum topic	Have tracing JIT compilers won? Clarifying some details. by Serguey Zefirov I missed the "low latency" by Serguey Zefirov IE 9 has multithreaded JS by Serguey Zefirov Trace-based execution models by Serguey Zefirov Automatic parallelization. by Serguey Zefirov	Peter Michaux	2015-05-26 21:09
Forum topic	Implementing fast interpreters Oberon/Juice AST compression by Serguey Zefirov	vieiro	2014-12-04 10:31
Story	Equality Saturation: A New Approach to Optimization by Serguey Zefirov Source code link by Serguey Zefirov	neelk	2012-11-28 20:26
Forum topic	The Monad.Reader Objects = closures w. mult. entry points by Serguey Zefirov	Wouter Swierstra	2012-04-11 12:54
Forum topic	Parallel frameworks for graph processing Quite good news. by Serguey Zefirov Actually, if you use by Serguey Zefirov Gaigen 2 performance. by Serguey Zefirov	lmeyerov	2011-10-13 18:11
Story	Memory Models: A Case for Rethinking Parallel Languages and Hardware, CACM, August 2010 My bad. by Serguey Zefirov "Citation needed" by Serguey Zefirov	Z-Bo	2011-03-14 05:47
Forum topic	Extending Syntax from Within a Language But I don't see a lot of by Serguey Zefirov	munificent	2011-02-17 01:57
Forum topic	The Myths of Object-Orientation Cayenne and Agda2 by Serguey Zefirov	el-vadimo	2010-12-21 17:28
Forum topic	The fundamental limitations of parser combinators... and how to fix them. The nature of parser combinators prevent many things. by Serguey Zefirov	Dominique Devriese	2010-12-17 13:17
Forum topic	"Future of Programming Languages" panel From a text summary above: by Serguey Zefirov	puredanger	2010-12-14 18:29
Forum topic	The perfect advanced programming language for the productive industrial developer The difference is in terminology. by Serguey Zefirov Adding non-termination. by Serguey Zefirov	Adam C	2010-12-12 19:11
Forum topic	New Dataflow Programming Language Regarding hardware dataflow model by Serguey Zefirov	ad1mt	2010-11-30 01:24
Forum topic	expressivity of "idiomatic C++" Yes, it is possible, because by Serguey Zefirov Yes, it needs to compute N-1 by Serguey Zefirov	el-vadimo	2010-11-10 22:56
Story	Joe Duffy: A (brief) retrospective on transactional memory "In the imperative setting." by Serguey Zefirov	Z-Bo	2010-09-09 12:58
Forum topic	Synchronic Computaion Problems. by Serguey Zefirov	Alex Berka	2010-08-11 16:12
Forum topic	Towards general nested data parallelism I, actually, once suggested that. by Serguey Zefirov	lmeyerov	2010-08-03 14:01
Forum topic	Any multi-threaded interpreters? Tcl has threads for quite by Serguey Zefirov	Pinku Surana	2010-06-26 23:58
Forum topic	plt vs. something else for programming in the large? Please, see HOSC: by Serguey Zefirov	raould	2010-06-17 01:07
Forum topic	Computing complexity Linear Logical Algorithms, a by Serguey Zefirov	giuseppemag	2010-05-11 20:38
Forum topic	Add "unit time delay (D)" operator to functional language with random signals instead of random vars I did. by Serguey Zefirov Pleas, take a look at by Serguey Zefirov	Andries	2010-04-29 12:20
Forum topic	Games and Languages I am highly interested too. by Serguey Zefirov Is it too much to ask... by Serguey Zefirov	giuseppemag	2010-04-27 15:26
Forum topic	Formal treatments (or examples of) of "function concatenation"? Arrows come to mind. by Serguey Zefirov	John Nowak	2010-04-05 01:32
Forum topic	are rewrite systems really the bee's knees Bluespec. by Serguey Zefirov	raould	2010-01-27 19:02
Forum topic	PiSigma, a dependently typed core language	Serguey Zefirov	2009-11-27 11:57
Forum topic	Seeking broad survey of wide range of concurrency idioms You didn't mention Dynamic Data Flow by Serguey Zefirov	scottmcl	2009-11-06 19:57
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