recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Story	The New Twelf Wiki Another Coq example by Adam Chlipala STLC - the "Hello World" of proof assistants by Rob Simmons Rundown by Gavin Mendel-Gleason missing a big one by Dave Herman That's What I Thought Too... by Paul Snively The impression I've had for a while by Derek Elkins Wish by Paul Snively	neelk	2007-03-23 00:49
Forum topic	Subject headings My bad - that's actually by AlasdairMcIntyre *** by Ehud Lamm Subject line marker by AlasdairMcIntyre I think we are in agreement... by derekp Code welcome by Anton van Straaten Skipping blockquotes in the by Philippa Cowderoy This post just gave me a stance in this question by Derek Elkins Problem with automatic titles by derekp Titles by Jacques Carette It grew on me. When we first by Ehud Lamm ...	Jeff Nowakowski	2007-03-22 21:37
Forum topic	A relational language extension for Python q/kdb+ by stevanapter Looks potentially useful, by Kragen Sitaker	ggaughan	2007-03-22 11:36
Story	The new Ada is officially published	Ehud Lamm	2007-03-21 15:26
Forum topic	How do you call such a design pattern Thank you by Marcin Stefaniak Actor? by Allan McInnes The Awkward Squad paper by naasking Tangentially by Luke Gorrie Planner? by Daniel Slaney Processor? by hutorny	Marcin Stefaniak	2007-03-21 10:54
Forum topic	GPCE'07 Call for Papers	pasalic	2007-03-20 23:52
Forum topic	Question on categorizing a language If "join" is throwing away by jimdesu imperative/procedural by Sameer Sundresh Sounds "functional" by rebooted	derekp	2007-03-20 21:33
Story	Omega Version 1.4 by Niels Hoogeveen Version 1.3 by Niels Hoogeveen The technical report by Niels Hoogeveen A Framework for Extended Algebraic Data Types by Brandon Moore Omega by James McCartney Not to be confused by samsonl	Bryn Keller	2007-03-20 21:02
Forum topic	Implementation Inheritance Efficiency? Definitely! by cdiggins Word by raould See the Third Manifesto Site's Related Projects Page by Paul Snively Inheritance and delegation efficiency by naasking any "real" implementations? by raould Codd, grave, rolling? by raould What about efficiency? by Tom Primožič big difference by John Nowak Re: delegation languages by raould Insufficient polymorphism by naasking ...	SamK	2007-03-20 20:31
Forum topic	Syntax Solicited for Imperative-flavored Concurrent Language with Keywords Occam syntax by Allan McInnes pre processor? by raould Syntax from Occam by Jack Waugh Metaphoritis? by dhopwood well... by John Nowak occam and occam-pi by Allan McInnes Terms by Jack Waugh basic, generally applicable syntax by Jack Waugh fundamental assumptions by John Nowak Imperatrix Ornothologica by Tim Sweeney ...	Jack Waugh	2007-03-20 03:12
first page previous page next page last page