recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	Type inference and unification algorithms PLAI by Greg Buchholz	procyon	2007-01-03 00:19
Forum topic	Notes on category theory and the pi calculus	stevechy	2007-01-02 22:59
Forum topic	Question about closures and higher-order functions In regards to the k example, by Denis Bredelet -jido OK, maybe it does. by A B Carter Yes, but does K know that it's not lexically scoped? by Anton van Straaten OK, consider the following. by A B Carter "Real closures" by Anton van Straaten EOPL definition by Anton van Straaten Academic versus Practical definitions of closures by Morris Johns Second, some people claim by Derek Elkins Many thanks for the by A B Carter So Iâ€™m tempted to conclude by Derek Elkins ...	A B Carter	2007-01-02 22:12
Story	Practical Type Inference Based on Success Typings Intersection Types? by Daniel Slaney I thought a similar thing by Daniel Slaney Interesting by rhat Duality between narrowing versus widening type inference algos by JamesLitsios Combining strong and success typing by Andris Birkmanis Success typing by Denis Bredelet -jido	James Hague	2007-01-02 15:11
Forum topic	Survey of delay constructs in logic/constraint PLs? Delay constructs in Oz by Peter Van Roy ...and STM by Andris Birkmanis	Andris Birkmanis	2007-01-02 13:49
Forum topic	hypothetical question "hypothetical" question by znmeb What About Volunteering for The Next Big Thing? by Peter J. Wasilko The growth and "neato" factors are big... by William D. Neumann Hypothetical Counter-question by Koray Can What kind of work? by Greg Buchholz Not enough info. by Benjamin D. Cutler Language is irrelevant by raould Word by Noel It's about the benjamins... by Matt Hellige Longer answer... by Tommy McGuire ...	Jeff Cutsinger	2007-01-02 07:14
Forum topic	Virtual Machines, Language Runtimes, and the Future of Objective C one ring to rule them all by Bob Dionne Hence The Notion of a Metalanguage by Peter J. Wasilko I've found programming in by Srikumar Subramanian "runtime" by shahbaz True by raould I don't want to be tied to a single language by Qrczak Back To The Future by Peter J. Wasilko OpenMCL As Well by Brent Fulgham i'd like to revive this question... by shahbaz This could be viewed as a stop-gap. by akopa ...	akopa	2007-01-01 19:47
Story	AgentSheets: End-User Programing (and Secret Lisp Success Story!) Optimizer object graphs by michael-fig Normal OOD by Derek Elkins Antiobjects ~= Fields? by Daniel Slaney Not a novelty by Denis Bredelet -jido SQL is a reasonable defacto standard by tibbetts Anti-Objects by Tim Sweeney I find this discussion by Ehud Lamm SQL as a base for event stream processing DSL by Andris Birkmanis foreground/background by Kay Schluehr Hi Andris,As the founder of by Mark Tsimelzon ...	Brent Fulgham	2006-12-31 23:19
Forum topic	Reference and reasoning -- or, how pure is the pure lambda calculus, part 2 Would you like the π or the λ version? by Lucius Gregory Meredith About Nominal Logic(s) by Matteo	Lucius Gregory Meredith	2006-12-29 16:34
Forum topic	Commercial Users of Functional Programming 2006 It is fairly specific, but by Srikumar Subramanian Ruby is not a functional programming language by erikd Specificity by Luke Gorrie Joel On Software by Giles Alexander Hmmm - google ads are by Srikumar Subramanian Hints by Anton van Straaten Monster by Koray Can Can anyone give me hints by Srikumar Subramanian The glaring omission I see by MTaylor Namespacing issue by pkhuong ...	Isaac Gouy	2006-12-29 14:46
first page previous page next page last page