recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	The Clay language Systems Programming by dmbarbour	Vilya Harvey	2010-07-27 01:05
Forum topic	Compile time garbage collection Region Inference by Daniel Yokomizo	vintermann	2007-02-08 12:17
Forum topic	Learning language design Monads by Brandon Moore Might be neat by raould A few years ago I got by derekp What I learned by markt I have yet to write a "real" by BigZaphod Thanks for replying.You said by vishal write one by markt Common Lisp by Manuel J. Simoni My Path by vishal Design versus implementation by fruehr ...	vishal	2008-03-05 17:28
Forum topic	Why functional programming matters Thanks for clarifying.As the by vishal Original LtU discussion by Ehud Lamm reduce has 3 arguments: The by joerisamson	vishal	2008-02-25 15:19
Forum topic	Domain Specific Languages hierarchy discussion	Vitaly Lugovsky	2004-09-13 02:04
Forum topic	Making implicits less powerful? Depends on the meaning of List<T> by L Spice iconv to the (partial) rescue by gasche The encoding got screwed up indeed by Blaisorblade Looks like neelk's comment by naasking From section 3.5:The rules by Jules Jacobs Thank you by Tom Primožič The Implicit Calculus: A New Foundation for Generic Programming by Philip Wadler whither eval? by raould ambiguity by Vladimir Slepnev Re link-time code generation by Matt Hellige ...	Vladimir Slepnev	2015-02-20 16:07
Forum topic	Using real arithmetic to eliminate bounds checking? For bounds checking, not by Tom Primožič Cool! by Vladimir Slepnev not really by Keean Schupke That is a great idea! Experiment using Z3: by Tom Primožič yeah by Vladimir Slepnev Registers by Keean Schupke Z3 by Vladimir Slepnev SAT and SMT by Keean Schupke Integers modulo N by Vladimir Slepnev Presburger arithmetic by Vladimir Slepnev ...	Vladimir Slepnev	2014-05-14 22:01
Forum topic	Half-baked idea: mini-language for vector processing there's always A+ by dbremner Thanks by Jean-Claude Wippler It isn't hard by Vladimir Slepnev My Bad by Paul Snively K syntax by Jean-Claude Wippler no simd yet by Jean-Claude Wippler Nice to hear that! by Vladimir Slepnev vlerq - simd? by stunt programmer almost :-/ by Vladimir Slepnev vlerq by Paul Snively ...	Vladimir Slepnev	2006-03-21 02:34
Forum topic	Value-level programming Tracking Runtime Polymorphism by Keean Schupke Examples by Andreas Rossberg Generative grammars by James Lottes useful small example? by Keean Schupke Stupid examples not intended as use cases by Andreas Rossberg Type Systems by Keean Schupke Nonsense by gasche New Thread by Keean Schupke Of Course by Keean Schupke Let Bindings by Keean Schupke ...	Vladimir Slepnev	2014-05-08 19:51
Forum topic	A Functional Representation of Data Structures with a Hole (1998) Pointers by skaller how to tell the boundary? by Julian Rohrhuber Draft by gasche cross-paradigm linkage by John Shutt interactive programming and embedding (edited) by Julian Rohrhuber Time and time again by John Shutt domain specificity by Julian Rohrhuber Relevance? by dmbarbour Imperative languages without mutable variables by johnwcowan Oleg has a page about the by naasking ...	Vladimir Slepnev	2017-12-01 12:08
first page previous page next page last page