recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Story	A Framework for Comparing Models of Computation Embedded systems by Didro (... without having read by lmeyerov Ideas for extension? by Andris Birkmanis Embedded systems by Allan McInnes	Andris Birkmanis	2008-09-13 08:33
Story	Polymorphic Algebraic Data Type Reconstruction "as" by Jeremy Semantic editing by Roly Perera Elaborated... by natecain I'm not sure by Matt Hellige let binding in types by Jim Apple Re: Refactoring-driven programming by Denis Bredelet -jido Refactoring-driven programming by Roly Perera Algorithms don't kill people by James Iry Sometimes I have to ask... by Eli Sennesh The reason the program's by naasking ...	James Iry	2008-09-12 09:57
Forum topic	Let's make a programming language! Frank's underspecified problem by Charles Stewart Unique, Rare Coercions by dmbarbour A wiki for fleshing out these concepts by Max K Instead... by Max Umland This suggests a paper by shap LOLing is warranted from by Ehud Lamm we've all agreed by Denis Bredelet -jido touche by Tim Band Even tinier nit by Rahul Gopinath tiny nit by Tim Band ...	Achilleas Margaritis	2008-09-12 09:21
Story	Coinductive proof principles for stochastic processes The working link... by Sean Leather [admin] Slight typo on link by Carlos Scheidegger	neelk	2008-09-11 20:05
Story	Computation Orchestration: A Basis for Wide-Area Computing This final tagless encoding by naasking An even simpler technique is by naasking Tagless, mostly type-safe interpreters in C# by naasking Re: as previously seen on LtU by raould I had started my initial by naasking Embedding multiple interpreters in C#? by Chung-chieh Shan Orc embedding for C# by naasking ditto by Chad Wellington An expressive language by Derek Elkins what is the lower bound? by raould ...	neelk	2008-09-11 17:15
Page	Related Weblogs Planet Scala by James Iry Planet Lisp and Planet Scheme by eko.hermiyanto Planet Haskell. by Christophe Poucet Not really. We got stuck by Ehud Lamm wiki plans by Charles Stewart Actually not, but thanks for by Ehud Lamm Luke Gorrie squeaks on LJ by Charles Stewart Fixed by Ehud Lamm thanks by Dave Herman The Little Calculist by Jacob Matthews	Ehud Lamm	2008-09-11 14:38
Story	Relational Parametricity and Units of Measure a new release of F# that works on Mono by Isaac Gouy I didn't mean it was the by Ehud Lamm I think this is a different by neelk From the archives. by Ehud Lamm Units of Measure in F# by namin	neelk	2008-09-10 20:11
Story	Erasmus: A Modular Language for Concurrent Programming thanks, by Rahul Gopinath Re: Joyce by raould Joyce by Rahul Gopinath There's nothing new about by OCTAGRAM On an open network, sparse by naasking Can vs. Must by Daniel Yokomizo I have thought of that, but by naasking Forgeability by Daniel Yokomizo advantages of ports by Peter Grogono It's possible to debate by naasking ...	cdiggins	2008-09-10 10:23
Forum topic	Logic programming and finance Constraint programming and finance by Peter Van Roy	S. Clover	2008-09-10 10:07
Forum topic	Review of a potential pramming language: Lima On incompatible... by frencheneesz I think the obvious idea by Philippa Cowderoy But wouldn't that by Felicia Li Svilling Thanks for your comments. I by frencheneesz Show what's different by Kannan Goundan Three things by Charles Stewart	frencheneesz	2008-09-10 07:58
first page previous page next page last page