recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	ML without GC check out regions by carter You are right.. by ehrlich Looks Great by ehrlich GC all the way around by Chris Rathman PreScheme by Jens Axel Soegaard maybe by Jeff Cutsinger Don't bother, it's been done before. by tkatchev Just want to understand where dynamic allocation is needed.. by ehrlich You can't get... by Serguey Zefirov No longer ML by Andreas Rossberg	ehrlich	2005-07-28 15:33
Forum topic	The Complexity Zoo I agree! I was merely pointin by Matthew Willson Functional/non-functional and strict/lazy by Josef Svenningsson Physics? by Greg Buchholz So, what, we should all progr by Marcin Tustin Different Models of Computation by simon langley My serious point is that diff by Marcin Tustin Of course, although most of c by Matthew Willson "What is an Efficient Implementation of the lambda-calculus?" by Andris Birkmanis There are many examples... by neelk Sure, but there's an apprecia by Marcin Tustin ...	Andris Birkmanis	2005-07-28 04:17
Forum topic	Concerning introspection and compilation. Sacrifices of reflection by Morris Johns Space by Kannan Goundan More on reflection by rreyelts Speeding up reflection by rreyelts I doubt that by Andris Birkmanis I meant that a JVM can replac by Achilleas Margaritis Reflection bytecodes by Andris Birkmanis Reflection, Java and C++ by Achilleas Margaritis Motivation and background by Andris Birkmanis Bytecode manipulation & intercession, metadata & introspection by Andris Birkmanis ...	mjstahl	2005-07-28 03:32
Story	Concurrent Clustered Programming other papers by Manuel J. Simoni Hereditary lines by Andris Birkmanis Comparison to Oz/Alice? by Andris Birkmanis Google sais by Sjoerd Visscher No link? by Ehud Lamm	Andris Birkmanis	2005-07-27 14:15
Forum topic	4-color theorem I thought there was a proof in Coq? by pantagruel Off topic by Ehud Lamm Probably by Koray Can Why don't you post the proof by Capt. Jean-Luc Pikachu	cuishitai	2005-07-27 06:29
Forum topic	GADTs + Extensible Kinds = Dependent Programming Well. by Jeff Cutsinger Full vs restricted dependent types by Kevin Donnelly Pros and Cons by Jeff Cutsinger Sure by Andris Birkmanis Hey why don't we ask one of o by Marcin Tustin Offtopic comments are fun by rreyelts Not really redundant by Jeff Cutsinger Haskell Workshop talk by Scott Turner I believe he claims they take by Jeff Cutsinger	Jim Apple	2005-07-26 19:07
Forum topic	Software Re-engineering Techniques and Reverse Engineering of Object-oriented Code ( Java language) and you want us... by Dave Griffith	Naveed Fakhar	2005-07-26 12:30
Forum topic	Lazy linear algebra Thanks by C Rose Lazy matrices and streams by Oleg	Ehud Lamm	2005-07-26 12:19
Forum topic	The Limits of the Semantic Extensibility of Computer Programs Quotes page by Ehud Lamm That's Greenspun's Tenth Rule of Programming by Andris Birkmanis well by pantagruel Ah.. What's the quote again... by John Carter Perhaps a better phrasing by johnnyb	johnnyb	2005-07-26 08:39
Page	Quotes	Ehud Lamm	2005-07-26 08:38
first page previous page next page last page