user | Lambda the Ultimate

user

view
track

type	title	author	last post
Forum topic	Languages with 'unique' programs How would one express "PRINT by pkhuong one program is not all programs by JeffB you're right by Chad Wellington Tactics by Sjoerd Visscher i think you mean by Ian Johnson BDD canonicalization by Chad Wellington That's actually a very by dataangel Almost by John Shutt uniquely represented data structures by Robbert van Dalen But in a "language with by dmbarbour ...	dataangel	2012-05-25 21:25
Forum topic	Encoding System Fw in predicative dependent type theory Dup by Matt M Thanks by Matt M Paradoxical term is paradoxical in his context by Andreas Schropp Partial model by Matt M What about Reynolds? by Andreas Schropp Bounds on bounding by Charles Stewart Modularity of the encoding by Matt M I agree this type is by gasche auto by Matt M I fear you will always be by gasche ...	Matt M	2012-05-24 22:00
Forum topic	Languages & Niches Language design and by dmbarbour can't be too clear by McCusker Concurrency is a fact of life, usability is the future? by Mike Abolazemi Unclear on the engine, but I've got metadata by Mike Abolazemi My experiences with by Denis Bredelet -jido Live Programming, Interactive Programming, Gestures and Touch by dmbarbour another vote for concurrency support by McCusker Concurrent programming by Sean McDirmid Threads & processes by Mike Abolazemi My experiences with by lmeyerov ...	Mike Abolazemi	2012-05-24 21:04
Story	Parsing: The Solved Problem That Isn't much truth by skaller If I understand it by Jules Jacobs Hmm I did not mean to imply by lmeyerov Can you point me to a by Jules Jacobs Yes, so that's not just what by Jules Jacobs A memoized function takes a by lmeyerov It looks like what I by lmeyerov Your last sentence in your by Jules Jacobs I think you're missing my by lmeyerov Memo functions are a general by Jules Jacobs ...	James Iry	2012-05-24 14:39
Forum topic	D3: Thinking with Joins	lmeyerov	2012-05-24 03:33
Forum topic	Reducers - A Library and Model for Collection Processing Still don't see the use by Denis Bredelet -jido Think about what happens... by neelk I think it's because it by Jules Jacobs Why a neutral element? by Denis Bredelet -jido	mehryar	2012-05-22 18:02
Forum topic	Feather: A Heapless Functional Programming Language Persistent data structures by dataangel Ok, as of 2.0, you can by Sean McDirmid I found it to be a very by lmeyerov CUDA heapless? by Tim Foley There are alternative to by Sean McDirmid Ah well. by marco I'm not sure how this would by bryanedds What is the current status by Jules Jacobs it looks like by astrobe Pre-allocated Slots for Returned Conses by bryanedds ...	bryanedds	2012-05-22 15:31
Forum topic	Proofs as programs Recursive Types don't Equal Computable... by marco This is my experience as by hbrandl C-zar by vrijz And for people not capable of using coq? by hbrandl Prior art by Adam Chlipala Brainless ? by Thomas Braibant Computations and propositions (assertions) by hbrandl Recursive types by Kalani It's been a few years since by John Shutt The connection with by John Shutt ...	hbrandl	2012-05-21 20:33
Story	Common Lisp: The Untold Story Why rewrite Excel? by johnwcowan Or you don't provide an by Jeff Dalton iteration by JeffB Nit Pick by Michael Compton No easy loops or simple by naasking Which languages do you by Chris Warburton If Excel is meant to be an by Chris Warburton Photoshop by Matt M Excel by JeffB FP by JeffB ...	Manuel J. Simoni	2012-05-20 23:46
Forum topic	Predicates, ghost predicates and higher order predicates	hbrandl	2012-05-17 19:27
next page last page