Lambda the Ultimate

type	title	author	last post
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
Forum topic	Haskell and creative freedom The bigger the number of toke by Serguey Zefirov Isn't expressive at all, BTW by Serguey Zefirov It just does not justify by Serguey Zefirov	Nathan Sobo	2005-09-16 00:08
Forum topic	ML without GC You can't get... by Serguey Zefirov	ehrlich	2005-07-28 15:33
Forum topic	DiaGen and DiaPlan	Serguey Zefirov	2005-07-16 22:52
Story	Language Design 101 Haskell and OCaml by Serguey Zefirov	Ehud Lamm	2005-06-03 12:27
Forum topic	How widespread are inhouse DSLs? ATM (teller machine) software by Serguey Zefirov	Ehud Lamm	2005-04-19 16:42
Story	OCaml vs. C++ for Dynamic Programming Could I suggest?.. by Serguey Zefirov	Ehud Lamm	2005-03-21 14:06
Forum topic	The HM system does not have principal typings for all terms What are the types, anyway by Serguey Zefirov I compare it to system CT by Serguey Zefirov Jim Trevor's type system by Serguey Zefirov	Andris Birkmanis	2005-02-26 07:26
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