recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	Controlling Reductions One order by Keean Schupke Order by skaller Scheme code by Ivan V. Performance is always an issue by marco Optimization by gasche I think some Computer Algebra Systems do this by marco Overlapping and Pure Prolog by Keean Schupke Hm by gasche	skaller	2017-03-05 08:04
Forum topic	Process Network for Effects, Monad Alternative Joining it up by Keean Schupke We can agree on nearly every by naasking KPN buffers by dmbarbour Determinism by dmbarbour KPN Semantics by skaller optimisations by skaller determinism by skaller loop combinators by dmbarbour Awelon implementation of addition and factorial? by Ivan V. re: accelerators, functional assembler by dmbarbour ...	dmbarbour	2017-02-20 06:09
Story	Salon des Refusés -- Dialectics for new computer science "Who are you? How did you get in my house?" by Cyril Domain of discourse by Julian Rohrhuber Programmers by John Shutt Not all languages are suited by Ivan V. Definitely perceptions can change. by Ray Dillinger Fire and ice by John Shutt Explains more than the love. by Andrew Moss Nostalgia ain't what it used to be by John Shutt I disagree with how I read by naasking I don't think your theory by Matt M ...	gasche	2017-02-19 07:18
Forum topic	How will look a modern imperative language? All love here is functional only.. [nevermind] by mtenright re: control types by dmbarbour The disadvantage of the by Andrew Moss Math uses partial functions by dmbarbour Mapping by skaller Communication by skaller Ambiguous by skaller re: monadic model doesn't even by dmbarbour Set theory and time by Matt M Division by Matt M ...	mamcx	2017-02-18 18:58
Forum topic	Céu: Structured Synchronous Reactive Programming (SSRP) Global vs Local events by fsantanna Synchronous terminology by fsantanna synchronous by skaller Synchronous in the sense by fsantanna Synchronous languages by skaller Abortion in synchronous languages by fsantanna interesting abort model by skaller	fsantanna	2017-02-09 16:05
Forum topic	Cool stuff from recent conferences	Ehud Lamm	2017-02-07 21:04
Forum topic	Inference of Polymorphic Recursion Unsound, because resulting from under-reported generalizations by Cyril Sound? by Matt M A modified H-M by Cyril Type annotations for imports by Ross Angle You're right that adding an by Matt M Alternative grounding by Andrew Moss Reading and Understanding by Keean Schupke Yeah but by Matt M Module import by Keean Schupke Singularity by Ivan V. ...	Matt M	2017-02-07 04:40
Forum topic	Archaeological dig to find the first Lisp example of the Y-combinator Likely reference by John Shutt	filipallberg	2017-01-31 00:42
Forum topic	Generic overload resolution More than one thread by Keean Schupke Effect order by skaller Serialisation by Keean Schupke Agree by skaller Objects by Keean Schupke Orthogonal by skaller Orthogonal by Keean Schupke Coverage by skaller Fortress by skaller I don't think much changes by naasking ...	Jon Purdy	2017-01-22 15:41
Forum topic	Unsoundness Yes by skaller Thank you - I'll check it out by Matt M Spartan by skaller Interesting by Ivan V. Henry Massalin by Andrew Moss Undecidability by skaller Ref by skaller fractal grammars by Ivan V. Ref(Ref Int) by Keean Schupke type system by skaller ...	skaller	2017-01-20 15:16
first page previous page next page last page