Lambda the Ultimate

type	title	author	last post
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
Forum topic	C++ Frequently Questioned Answers Yes, it does: by Serguey Zefirov Shootout doesn't measure by Serguey Zefirov	Srikumar Subramanian	2009-05-19 00:40
Forum topic	Declarative layout and/or UI languages? No one mentioned Fudgets. by Serguey Zefirov	naasking	2009-02-18 10:05
Story	2008 In Review - What Happened with Programming Languages? Goto BLAS as a counterexample by Serguey Zefirov	James Iry	2009-01-28 12:15
Forum topic	Dependent Types, Generic Programming and Overloading. Interesting example in Coq by Serguey Zefirov	Serguey Zefirov	2008-05-23 00:35
Forum topic	On the Importance of Purity That was not so long time by Serguey Zefirov	naasking	2007-12-02 14:53
Story	It's Time to Stop Calling Circuits "Hardware" I did a survey of eHDL by Serguey Zefirov	Allan McInnes	2007-10-17 18:49
Forum topic	Generating useful errors in a functional stream parser I'll answer nevertheless. by Serguey Zefirov	Alex Rubinsteyn	2007-09-13 16:14
Forum topic	Why is there not a PL with a mathematical type system? Can Epigram be nominated? by Serguey Zefirov	gueven	2007-04-25 14:14
Forum topic	Why do they program in C++? Have you ever programmed? by Serguey Zefirov	David Waern	2007-02-19 12:09
Forum topic	A reflective functional language for hardware design and theorem proving Actually, you can download by Serguey Zefirov	Allan McInnes	2007-02-01 05:31
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