recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	Calling imperative code from declarative? How To Declare An Imperative by Dominic Fox	akallio	2005-09-05 16:51
Forum topic	Is Halting Problem Valid for P? Unless you've missed part of by Andrew Moss Don't forget to check out the classic paper by sigfpe Chomsky Hierarchy by aed Thankfully, it's been answered by James Iry Maybe this will help... by Matt M What is it you're asking, exactly? by Ohad Kammar related question by el-vadimo Problemless, useless by jwillia3 Possible misreading by Andrew Moss The paper makes the claim by naasking ...	ajgargand	2008-05-04 23:24
Forum topic	Stack of regions for managing effects? Monadic Regions by Oleg	Aivar Annamaa	2016-06-11 15:11
Forum topic	Default, implicit, inherited Re: Defaults considered harmful ;-) by Ross Angle â€¦without defaults one is by Jon Purdy Implicit Configurations, Soft Constraints by dmbarbour Defaults considered harmful ;-) by John Shutt The Implicit Calculus, 2012, arxiv by gasche	Aivar Annamaa	2013-12-01 10:14
Forum topic	Does these constructs solve the expression problem? Thank you, that looks by Ahnfelt You may wish to see... by Paul Snively It appears that there's more by Ahnfelt Inexhaustive pattern matching by Tess Foley Oh, you're absolutely right. by Ahnfelt You don't seem to mention by Felicia Li Svilling	Ahnfelt	2007-05-25 22:51
Forum topic	Parsing@SLE 2015: Call for talk proposals	afroozeh	2015-08-12 17:46
Forum topic	CÏ‰ Preview Available XML vs PL schema by Marcin Stefaniak graph traversal by pantagruel A losing bet by Dominic Fox Well, by Dominic Fox rdf != rdf/xml by pantagruel There's a choice of syntaxes for RDF by Dominic Fox rdf by pantagruel Re: FWIW by Mark Evans Re: RDF v XML by Mark Evans FWIW by Frank Atanassow ...	aelij	2004-07-30 22:10
Forum topic	Functors are Type Refinement Systems Monoidal structure by Ross Angle Thumbs up. by Matt M Interesting question by adrieng I like it! by marco	adrieng	2015-06-12 20:12
Forum topic	Branch Prediction and the Performance of Interpreters - Don’t Trust Folklore Compiler size by Keean Schupke Latency is solved by Blaisorblade Language choice seems a threat to validity by Blaisorblade Object fields by Andrew Moss Look at 'cc by shap PIC's might not be by Jules Jacobs Meh by gasche Are prototypes the problem? by Keean Schupke Compiling dynamic languages by adrieng Performance by Keean Schupke ...	adrieng	2015-08-18 16:42
Forum topic	type-checking programs with unknown types HM + type dynamic by Chung-chieh Shan Thank you by Adrian Quark Complete Type Inference by Derek Elkins Whole point of WSDL by Adrian Quark Not a good example by Sjoerd Visscher	Adrian Quark	2008-06-30 07:18
first page previous page next page last page