recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	New PL forums: plforums.org Seeding by glebm email by Kartik Agaram Bootstrapping by Matt M	glebm	2017-04-13 02:55
Story	Idris 1.0 Released Open Issues by marco Idris' uptake by gasche	Ehud Lamm	2017-04-02 22:33
Forum topic	Conversion of 'functional' to 'imperative' algorithms: is it possible? Turing Tarpit by marco Evidence? by Keean Schupke any functional algorithm by AntC same concept by NickP If you need to reason about s by neelk Yeah, that's exactly right. L by neelk This works when you want to h by pkhuong Copy-on-Write by Neil Madden Converting the program AST to by Jonathan Tang Linear types prohibit sharing.... by neelk ...	Achilleas Margaritis	2017-03-31 19:14
Forum topic	Logic Production Systems (LPS) OWA & CWA by Enrique Perez Arnaud OWA? by Cyril Very similar time model to that of Terms by Enrique Perez Arnaud	Neil Madden	2017-03-27 18:13
Forum topic	notes on a C-ish memory manager design re: indeterminacy by dmbarbour re: concurrent by dmbarbour cross yard semantics by Rys McCusker green vs red by skaller Brown? by Keean Schupke options in N:M models by Rys McCusker N:M concurrency by Keean Schupke green versus non-green concurrency by Rys McCusker Concurrent by skaller fibres by skaller ...	Rys McCusker	2017-03-27 16:24
Story	kdb+ 3.5 released last month Fixed, thanks by Z-Bo MS, not GS by mtk	Z-Bo	2017-03-26 23:57
Page	Prolog vs mini-Kanren	Charles Stewart	2017-03-15 09:24
Forum topic	Rust's language ergonomics initiative Thinking about tools is still relevant by Charles Stewart C/C++ casts by skaller Isomorphisms by skaller Big +1 by Brandon Bloom	gasche	2017-03-11 09:00
Story	Contextual isomorphisms HTT by Charles Stewart BTW yours could be a good SO answer by Blaisorblade That's the sort of questions by Blaisorblade I think you're right. What I by Blaisorblade Extensional or Intentional by Keean Schupke Are nested types not a complication? by Matt M What about non-dependent contexts? by gasche Contextual equivalence for dependent types by Blaisorblade Is the answer to your question really “probably not”? by Guillaume MM I see undecidability everywhere by marco ...	gasche	2017-03-10 16:30
Forum topic	CFL parsing, and another way to look at the CNF... Complete CYK implementation and ATIS sample by Cyril The ATIS grammar by Cyril Not. by Cyril Ingenuous question by Cyril Conjecture by Cyril An upper bound, and on the significance of the kernel by Cyril Easier / more friendly (recursive) CFLs and their kernels by Cyril And what makes the CFL of palindromes so "hard" by Cyril Definition: kernel K(L/G) of L relative to G by Cyril Incomplete by Cyril ...	Cyril	2017-03-07 07:27
first page previous page next page last page