Lambda the Ultimate

type	title	author	last post
Forum topic	Containers and Inheritance C++ Concepts by dmbarbour Java Wildcards by dmbarbour	bfraser	2010-07-28 19:53
Forum topic	The Mirah Language Thank you for explaining. It by dmbarbour No Runtime Dependency? by dmbarbour	Noel	2010-07-28 04:45
Forum topic	The Rust Language Re: Ur/Web by dmbarbour Rust will eat your laundry by dmbarbour	Noel	2010-07-27 23:17
Forum topic	The Clay language Systems Programming by dmbarbour	Vilya Harvey	2010-07-27 01:05
Forum topic	A proof engine for Eiffel Suggestions for Organization by dmbarbour Interest from the community by dmbarbour	hbrandl	2010-07-24 21:09
Story	Scribble: Closing the Book on Ad Hoc Documentation Tools Browser Developer, eh? by dmbarbour Firefox by dmbarbour	Manuel J. Simoni	2010-07-23 23:54
Forum topic	Is mathematics invention or discovery? Still OT by dmbarbour	Justin Johansson	2010-07-20 08:14
Forum topic	App Inventor: Programming for non-programmers... again Environments that can Teach by dmbarbour "NO programming knowledge" by dmbarbour	fogus	2010-07-16 23:11
Story	Why Undergraduates Should Learn the Principles of Programming Languages Teach CTM? by dmbarbour	Z-Bo	2010-07-15 09:08
Forum topic	Questions about Semantics. Infinite Languages and Grammars by dmbarbour	Matt Estes	2010-07-15 05:47
Forum topic	How important is language support for namespace management? Namespaces and Mobility and Security :) by dmbarbour Namespaces and Mobility by dmbarbour Backtracking Parsers by dmbarbour Import Controls by dmbarbour Fully qualified names by dmbarbour Naming conflicts are still possible by dmbarbour Import/Export Controls by dmbarbour Not so orthogonal by dmbarbour Discoverability, Language by dmbarbour Flat Namespace by dmbarbour	Manuel J. Simoni	2010-07-12 18:33
Forum topic	Uncle Bob's talk at RailsConf 2010 Oh. I apologize for that by dmbarbour The most important expressiveness issue of our time by dmbarbour	Marc Hamann	2010-07-07 20:43
Story	An intuitionistic logic that proves Markov's principle Markov's principle in essence by dmbarbour Not Trivial in Intuitionist logics by dmbarbour Thanks for that insight. by dmbarbour Really? by dmbarbour Thanks by dmbarbour	neelk	2010-07-07 08:23
Forum topic	Simulation language ideas? Some References by dmbarbour	James W Hofmann	2010-07-05 22:33
Story	Compiling Structural Types on the JVM Re: Interface Injection by dmbarbour	James Iry	2010-07-02 05:05
Forum topic	A lambda calculus with arbitrary set primitives Just Do It by dmbarbour Term Rewriting by dmbarbour Express vs. Do by dmbarbour Axiom schema of specification by dmbarbour	Neil Toronto	2010-07-01 12:56
Story	Intel Concurrent Collections for Haskell Doubt it... by dmbarbour CnC is for Parallelism (despite name) by dmbarbour	Ehud Lamm	2010-06-28 22:01
Forum topic	A Theory of Typed Hygienic Macros Thanks. That's ten times by dmbarbour I look forward to reading a by dmbarbour	Jacques Carette	2010-06-20 22:13
Story	More iPhone PL lockdown... Goodbye Scratch! O(10^2)=O(1) by dmbarbour	Matt Hellige	2010-06-18 14:34
Forum topic	plt vs. something else for programming in the large? RE: Other Useful Models by dmbarbour Re: Reductionism by dmbarbour The fundamental task of by dmbarbour RE: Fundamental Models by dmbarbour Re: Meaty by dmbarbour RE: Fundamental Mathematical Abstraction by dmbarbour Hand-waving -> Biology -> Chemistry -> Physics -> Mathematics by dmbarbour RE: Overturning Models by dmbarbour RE: But you can model that on a UTM! by dmbarbour RE: Principles by dmbarbour ...	raould	2010-06-17 01:07
Story	Racket Released I begin to by dmbarbour Does Not Compute by dmbarbour Clojure is an invention of Man by dmbarbour	Noel	2010-06-16 12:39
Forum topic	Interpreter to compiler generator? Tagless Staged Interpreters by dmbarbour	pdf23ds	2010-06-12 15:53
Story	Adding Type Constructor Parameterization to Java Which resulting theorems? by dmbarbour Vacuous Parametricity by dmbarbour	Manuel J. Simoni	2010-06-08 21:53
Forum topic	A Brief, Incomplete, and Mostly Wrong History of Programming Languages Repost! by dmbarbour	David J Bailey	2010-06-05 03:26
Forum topic	Alan Kay's 70th Evaluation Actions? by dmbarbour Kayia Comments by dmbarbour Kayia by dmbarbour Site Organization by dmbarbour Incremental Leaping indistinguishable from excited Walking by dmbarbour Models and Revolutions by dmbarbour Big Ideas and Broad Strokes by dmbarbour	Z-Bo	2010-05-31 21:19
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