recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	ALTA 2008 - Call for Participation	jbfryman	2008-05-30 03:56
Forum topic	DSLs: Embedded, standalone, or both? Terminology: Internal vs External by bashyal A wider definition by brosenan Embedded DSL by Ehud Lamm Not the common terminology by James Iry Terminology? by Basile STARYNKEVITCH	Scott Johnson	2008-05-29 20:10
Forum topic	Category theory in design For an alternative view by snedunuri See above by Matt Hellige Goguen school by Charles Stewart yes by jdgallag This previous post will be by naasking System specification by Leland McInnes Previously on LtU by James Iry Could you name some of the by Zsolt Szalai JosÃ© Luiz Fiadeiro's book by Roly Perera I agree. Then would you by jdgallag ...	jdgallag	2008-05-29 15:49
Forum topic	succinctness It may look the same on the outside... by Burton Samograd Counter hypothesis by James Iry a hypothesis by Dave read it many times by Burton Samograd Unix programming exposed by Charles Stewart shell script by Burton Samograd directness, comfort, completeness by Thomas Lord I agree by nobodysbusiness Expressiveness is a double-edged banana by raould I think that I understand. by nobodysbusiness ...	Curtis W	2008-05-28 19:57
Forum topic	Understanding category theory and its practical applications I Always Had Difficulty Grasping "Affordances"... by Benevenuto Giorno or... by jdgallag Don't forget your modal logic. by Derek Elkins State transition systems by Derek Elkins ADTs by Derek Elkins It wasn't much of an exercize -- am I missing something? by sigfpe Both more and less by Leland McInnes The logic of black boxes.... by Tim May Connections by Paul Snively The problem with by Kay Schluehr ...	Winheim Raulsh	2008-05-26 05:25
Story	HOPL-III: A History of Erlang Yes, but in the JVM, you by Sean McDirmid Microsoft also supports a by Dave Lopez Theres always live by Sean McDirmid Rewriting programs at runtime by Julian Rohrhuber Ceci n'est pas un advertisement by raould Interesting but probably pointless by Mike Hearn Your assessment is right. I by Luke Gorrie failing fast by Dave Herman To me, the interesting by Luke Gorrie on-line code update projects by Mike Hicks ...	Chris Rathman	2008-05-26 04:27
Forum topic	Reasoned Schemer in Clojure Appropriate and interesting. by Ehud Lamm	Jim Duey	2008-05-26 03:12
Forum topic	Dependent Types, Generic Programming and Overloading. Interesting example in Coq by Serguey Zefirov I did not implement it. by Denis Bredelet -jido Dependent values by Denis Bredelet -jido Parametric polymorphism by mrd Dependent types are types by Matt M I was looking at a new by Denis Bredelet -jido Aldor is a dependent-typed programming language with overloading by billpage Rewriting logic by Charles Stewart Coq gets typeclasses by Gavin Mendel-Gleason	Serguey Zefirov	2008-05-23 00:35
Forum topic	Polymorphic C It sounds like he wants statically-typed generics, by Scott Johnson GNAT Ada's generics are by naasking Isn't id just void* in sheeps clothing? by cjh Objective-C? by bmichaelsen Cyclone certainly has the featureset. by cjh Cyclone has an ML-like type system by rdaum It should have the title 'Polymorphic C' by cjh Does your question have anything to do with type classes? by Adam Chlipala	cjh	2008-05-21 19:17
Forum topic	Regions for Code GC? A standard GC by Scott Johnson Nested lifetimes aren't by naasking Granularity of code by Scott Johnson Hmm, good question. I by naasking Code is data by Derek Elkins I'm not sure what you mean by naasking Is your concern more bent by lmeyerov	naasking	2008-05-21 19:13
first page previous page next page last page