recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	Retrospective Thoughts on BitC "Shared" by Matt Hellige Rust is GC'd, with exceptions by naasking You can have a quick by Jules Jacobs Rust isn't GCed by Charles Stewart False dichotomy by Charles Stewart Too many lines of code by shap What in particular doesn't scale well? by Z-Bo Not an alternative by shap You seem to be thinking of a by Jules Jacobs Work of the Devil by shap ...	raould	2012-04-18 16:43
Forum topic	Specification and implementation of modules in Modern Eiffel	hbrandl	2012-04-21 16:47
Forum topic	Certified Programming with Dependent Types: home stretch! For data structures in Haskell... by neelk Thanks! by Adam Chlipala OK by Paul Snively Me? I don't care either way. by Kay Schluehr Gratitude by Paul Snively Lost by Paul Snively What's a tautology? by Matt M Using the terms like Adam by Kay Schluehr I should probably explain by Adam Chlipala Suggestion by Paul Snively ...	Adam Chlipala	2012-04-22 22:31
Story	Adding Delimited and Composable Control to a Production Programming Environment Just realized I still had by naasking You can do many of the same by Jules Jacobs Just wanted to add: this is by Sean McDirmid The higher-level issue is by lmeyerov Interesting. Why do you by Jules Jacobs Agreed that the same by lmeyerov I looked at Seaside and it by Jules Jacobs [I'd say this is bad UI by lmeyerov Allowing backtracking is the by Jules Jacobs Even the seemingly perfect by naasking ...	Manuel J. Simoni	2012-04-22 23:57
Forum topic	Frenetic	Tommy McGuire	2012-04-23 01:52
Forum topic	Inheritance and formal verification of software	hbrandl	2012-04-24 14:23
Forum topic	Evaluating the Design of the R Language	Sean McDirmid	2012-04-25 07:53
Story	Iverson's _A Programming Language_ Iverson books by wtanksleyjr My bad. I wasn't paying by Ehud Lamm It's Incomplete by silentbicycle	Ehud Lamm	2012-04-27 23:25
Forum topic	Tuples, functions, ghost functions and higher order functions	hbrandl	2012-04-30 14:55
Story	Decomposing lambda - the Kernel language There's lots more stuff by John Shutt Prototype by Blaisorblade prototype version? by dbfaken io by Per Vognsen	Anton van Straaten	2012-04-30 15:31
first page previous page next page last page