Lambda the Ultimate

type	title	author	last post
Forum topic	New Programming Language Idea Design-by-contract vs. automated planning by Winheim Raulsh Of course if you're trying to churn out general algorithms... by Winheim Raulsh	Lee Chou	2009-01-14 09:06
Forum topic	In search for a programming language to replace spreadsheets. Sniff, sniff... by Winheim Raulsh	Søren Haagerup	2008-07-24 18:52
Story	Simon Peyton Jones: Beautiful concurrency A message monad.. by Winheim Raulsh	Ehud Lamm	2008-06-03 09:53
Forum topic	succinctness Well, by Winheim Raulsh Hmm.. by Winheim Raulsh	Curtis W	2008-05-28 19:57
Forum topic	Understanding category theory and its practical applications Hmm... by Winheim Raulsh Right under my nose all along!.. by Winheim Raulsh That explains it very nicely, by Winheim Raulsh Things noted by Winheim Raulsh Thanks! by Winheim Raulsh	Winheim Raulsh	2008-05-26 05:25
Forum topic	Constraint Imperative Programming	Winheim Raulsh	2008-03-27 22:06
Forum topic	Impact of OO language style on code From a point of view, by Winheim Raulsh	raould	2008-02-08 21:15
Forum topic	Jura, a OOMP language and potential DBMS I couldn't have said it better myself! by Winheim Raulsh	Winheim Raulsh	2008-02-08 18:44
Story	Logic for Philosophy Multi-valued logic... by Winheim Raulsh	Ehud Lamm	2008-01-28 09:20
Forum topic	poll: syntax Um, by Winheim Raulsh Exactly my point by Winheim Raulsh "message passing", drawing a strait mental line from wording... by Winheim Raulsh A common pattern on syntax quality... by Winheim Raulsh Syntax? by Winheim Raulsh	Givas	2008-01-25 02:00
Forum topic	beyond programming languages And they usually go by the name of... by Winheim Raulsh	el-vadimo	2008-01-18 22:58
Story	Parametric datatype-genericity Did anyone else realize... by Winheim Raulsh	Ehud Lamm	2007-12-05 03:39
Forum topic	On the Importance of Purity And you need the steak slicer... by Winheim Raulsh A matter of faith... by Winheim Raulsh True; good points; by Winheim Raulsh Taking a diverging perspective by Winheim Raulsh	naasking	2007-12-02 14:53
Forum topic	Universal Type System My idea is not language extension... by Winheim Raulsh Conclusion: boostrapped type system in turing complete language by Winheim Raulsh Now you have my interest... by Winheim Raulsh Interesting by Winheim Raulsh How about a type system prototyping system... by Winheim Raulsh	Akhilesh Mritunjai	2007-11-24 18:01
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