recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Story	Churchâ€™s Thesis and Functional Programming Curry-Howard Isomorphism by namin Concurrency by Ryan Ingram eBook by Scott Turner Nice! by Matt Hellige Quibble by Charles Stewart Interleaving and Concurency by Chris Rathman I am an amateur beginner and by uchchwhash Thanks! by James Roome Holy Cow! by Paul Snively	Chris Rathman	2008-07-22 00:14
Forum topic	Multi-Artifact Languages How about Dynamic by naasking I did not find the by Denis Bredelet -jido Why not? by lodi Exactly. The interface could by naasking DSLs by Neil Madden Obviously, what is needed is by Ehud Lamm XML by Neil Madden Tool support by Vilya Harvey I do not believe that the by naasking About XML by Denis Bredelet -jido ...	Spencer Tipping	2008-07-21 18:59
Story	The Development of Intuitionistic Logic Schroeppel's conjecture, Jonathan Swift, Fritz Zwicky, Wolfram by jpost Nicely done, Sjoerd Visscher: postfix notation for Decimal Goede by jpost use postfix by Sjoerd Visscher Decimal Goedelization of Heyting's 11 axioms by jpost Intuitionistic model theory by Charles Stewart Intuitionistic logic by Denis Bredelet -jido Highly recommended by Ehud Lamm	Charles Stewart	2008-07-21 16:40
Forum topic	Dodo Found a parser by Denis Bredelet -jido Dodo code samples by Denis Bredelet -jido Implicit conversions by Matt Hellige Type conversion and variance by Denis Bredelet -jido Yes. It is more like Java by Denis Bredelet -jido Huh? by Peter A Jonsson In that case by Felicia Li Svilling Syntax concerns by Denis Bredelet -jido Its my experience that the by Felicia Li Svilling Currying by Derek Elkins ...	Denis Bredelet -jido	2008-07-20 16:36
Forum topic	Language/Interface for a 5-button device Ti calculators by Magnum Opus	dataangel	2008-07-20 16:15
Story	Partial vectorisation of Haskell programs	Ehud Lamm	2008-07-20 16:11
Forum topic	Functional Programming in the ACM CS Curriculum More FP sounds good to me by David Piepgrass algorithms & how OO is taught by JeffB language geeks and acadameic dorks by JeffB Knowing FP can help you get by lennart Comments Elsewhere by Rafael A couple other options by Leland McInnes Purity <-?-> Functional by raould Transparent single assignment by Peter Van Roy Occam and Erlang by Peter Van Roy Duh! by Daniel Yokomizo ...	mwand	2008-07-19 22:42
Forum topic	Effectiveness of C++ for scientific computing? Thank you by msid A general point by sigfpe No harm done. We try to keep by Ehud Lamm Sorry about this. I didnt by msid I've tried blitz++ and for by msid [Admin] by Ehud Lamm Try Blitz++. It's nearly as by hoang vu	msid	2008-07-19 09:36
Forum topic	Easiest language to make binding for? Thanks by Gregory Propf That's interesting by Gregory Propf Lua by Mario B. Maybe worth to have a look at Dao by Limin Fu Too much Python by Gregory Propf Well no by Gregory Propf If you like binding for many by hoang vu List of Python tools by paddy3118 Second for Boost.Python by Spencer Tipping Factor? by sr ...	Gregory Propf	2008-07-19 08:26
Forum topic	Ada, the Ultimate Lambda? Nerd Humor by James Iry Rewriting logic by H Lenzi We are agreed on the point by Ehud Lamm What is computation? by Charles Stewart Excellent points, as usual. by Ehud Lamm Fundamental formalisms by Charles Stewart A popular study approach today... by grettke Pure Ada. It's rather a by Ehud Lamm even went as far as by naasking Memories by Ehud Lamm ...	James Iry	2008-07-18 19:56
first page previous page next page last page