Lambda the Ultimate

type	title	author	last post
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
Forum topic	"Limits to implicit parallelism in functional application" Programs in Id90 were ran on by Serguey Zefirov Might be. by Serguey Zefirov There was a language Id90, a by Serguey Zefirov	John DeTreville	2007-01-04 05:37
Forum topic	Metrics for Programmatic Complexity? My favorite metric is by Serguey Zefirov	johnnyb	2007-01-03 16:34
Forum topic	Cat Programming Language: Slides from Lang. NET 2006 Memoization by Serguey Zefirov Notwithstanding presence of lazy generators... by Serguey Zefirov	cdiggins	2006-08-08 07:47
Forum topic	Why only 'minimal' languages CISC->RISC by Serguey Zefirov	Karsten Wagner	2006-06-19 15:33
Forum topic	Designing a Type Notation for a Stack Based Functional Language Take a look, please. by Serguey Zefirov	cdiggins	2006-05-12 20:02
Forum topic	Signature Based Polymorphism, Structural Subtyping and Duck Typing Signature-based by Serguey Zefirov Not all of them. by Serguey Zefirov	cdiggins	2006-03-02 16:04
Story	Interval Computations A solution by Serguey Zefirov	Ehud Lamm	2006-02-22 21:34
Story	Djinn, a theorem prover in Haskell, for Haskell. But it does not build! by Serguey Zefirov	shapr	2006-01-24 18:58
Forum topic	Dataflow languages and hardware - current status and directions Aha. This is what I found alo by Serguey Zefirov	Serguey Zefirov	2006-01-08 01:35
Forum topic	Practical: Designing a graph matching language. Some papers and links along the way. by Serguey Zefirov	pkhuong	2005-12-12 00:06
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