Lambda the Ultimate

type	title	author	last post
Forum topic	Project Lamdu	Greg Buchholz	2016-01-21 23:00
Forum topic	Proposal for a Friendly Dialect of C CCured approach? by Greg Buchholz	Greg Buchholz	2016-01-15 17:08
Forum topic	Concatenative Language Kont Squinting by Greg Buchholz More confusion? by Greg Buchholz Joy in Haskell by Greg Buchholz The original thread by Greg Buchholz Static vs. Dynamic by Greg Buchholz low vs. lower by Greg Buchholz Monads by Greg Buchholz More Linear by Greg Buchholz Foreign? by Greg Buchholz Types? by Greg Buchholz	Chris	2014-10-22 09:15
Forum topic	Function Types and Dylan 2016	Greg Buchholz	2014-08-28 23:21
Forum topic	Beyond FRP: physics-inspired programming abstractions? Conservative Logic by Greg Buchholz	Sean McDirmid	2013-08-22 19:13
Forum topic	Parallel Computing in the Julia Language	Greg Buchholz	2013-08-07 16:35
Forum topic	MLWorks Project now BSD licensed	Greg Buchholz	2013-05-03 07:38
Forum topic	GADT vs. Type Classes Parser by Greg Buchholz GADTization by Greg Buchholz	Greg Buchholz	2013-04-22 22:24
Forum topic	Programming with alternatives {Icon, Prolog, Perl6} by Greg Buchholz	Robbert van Dalen	2013-01-06 16:56
Forum topic	STEPS 2011 Progress Report (personal computing in 20kLOC)	Greg Buchholz	2012-12-20 20:48
Forum topic	REBOL 3 released under Apache 2 license	Greg Buchholz	2012-12-13 00:58
Forum topic	Open data types and open functions Polymorphic variants in Haskell by Greg Buchholz Where to start? (theorem provers, etc.) by Greg Buchholz	Jeremy	2012-06-22 02:53
Story	A Concept Design for C++ Pure by Greg Buchholz	James Iry	2012-03-04 21:35
Forum topic	Clojurescript "why eval was excluded" by Greg Buchholz	Greg Buchholz	2011-08-05 13:03
Forum topic	Programming with touch? Dasher by Greg Buchholz	Sean McDirmid	2011-04-13 23:03
Story	Getting Started doing it by Greg Buchholz Advanced Scheme? by Greg Buchholz	Ehud Lamm	2011-03-16 17:43
Forum topic	J language source to be released under GPLv3 Download by Greg Buchholz I can't believe by Greg Buchholz	Greg Buchholz	2011-03-07 03:43
Forum topic	I've run out of programming languages to study HDLs, etc. by Greg Buchholz	Josh Griggs	2011-02-27 03:20
Story	Conservative Logic DNA by Greg Buchholz Reversible Computing by Greg Buchholz Do we? by Greg Buchholz	James Iry	2010-11-16 01:17
Forum topic	Simply Easy! (An Implementation of a Dependently Typed Lambda Calculus)	Greg Buchholz	2010-10-22 21:48
Forum topic	What is the best system for experimenting with and visualizing complex algorithms? Python Reinteract by Greg Buchholz	Peter Van Roy	2010-10-01 04:20
Story	It's been ten years! Stats... by Greg Buchholz	Ehud Lamm	2010-08-11 08:07
Forum topic	Logic programming based GUI framework XPCE: the SWI-Prolog native GUI library by Greg Buchholz	Tegiri Nenashi	2010-07-30 22:01
Forum topic	Inspiring Papers Obligatory... by Greg Buchholz	SamK	2010-05-24 15:10
Forum topic	Static Typing Where Possible, Dynamic Typing When Needed Abstract Interpretation by Greg Buchholz	Isaac Gouy	2010-04-20 22:32
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