user | Lambda the Ultimate

user

view
track

type	title	author	last post
Forum topic	Languages with 'unique' programs Programmers only think in terms, not programs by Ian Johnson I don't think that's true. by Jules Jacobs Given any deterministic by Sam Lindley Performance Abstractions by dmbarbour Keen Point. by dmbarbour Sure, just trivially by Ian Johnson How intentional can you be? by gasche You don't need to do that; by gasche spectrum by dataangel Very good point :) I need to by dataangel ...	dataangel	2012-05-23 15:44
Forum topic	Encoding System Fw in predicative dependent type theory 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 Thanks by Matt M Unconvinced by gasche	Matt M	2012-05-23 12:22
Forum topic	Languages & Niches 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 Concurrency is the ability by Denis Bredelet -jido both by ted stockwell Helpful comments by Mike Abolazemi concurrent vs. parallel by Sean McDirmid ...	Mike Abolazemi	2012-05-23 05:56
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
Forum topic	Higher order versus Object order Yes by Matt M Interesting. You are saying by dmbarbour I didn't word that well by Matt M They only look internal to by dmbarbour Not true by Matt M Custom architecture is not a crisis by dmbarbour Closed systems by Matt M Open systems are essential. by dmbarbour I agree with you that we by Matt M Hmm by dmbarbour ...	Francis McCabe	2012-05-17 17:45
Forum topic	Why and How People Use R Why Ruby by JeffB Perception and Culture by pdlogan [replying to both Sean and by Martin Odersky The point is not if Scala is by Sean McDirmid I'm not sure what your point by Sean McDirmid javascript is razor sharp focussed on a domain? by pdlogan wrong audience by pdlogan Scala 2.8 collections by Martin Odersky Ecosystem = libraries + by Sean McDirmid If I understand correctly, by gasche ...	Charles Torre	2012-05-14 20:31
next page last page