Lambda the Ultimate

type	title	author	last post
Forum topic	ANN: Jekejeke Minlog 0.6.2 (forward debugging and hypothetical reasoning) Newest Time Measurements / FRP based on LP by j4n bur53 Hi by j4n bur53	j4n bur53	2019-07-05 23:40
Forum topic	Don't use "Yield" for co-routines; instead use "Postpone" Once upon a time, in a land far far away by j4n bur53	Hewitt	2016-05-09 12:03
Story	Second-order logic explained in plain English Wiedijk's List by j4n bur53 Riding the Monsters by j4n bur53	Charles Stewart	2016-02-19 12:40
Story	Progress on Gradual Typing Remark on FLP and λProlog by j4n bur53	gasche	2016-01-28 15:13
Forum topic	Mathematics self-proves its own Consistency (contra Gödel et. al.) Removed by j4n bur53 Removed by j4n bur53 Removed by j4n bur53 Removed by j4n bur53 Removed by j4n bur53 Removed by j4n bur53 Removed by j4n bur53 Removed by j4n bur53 Removed by j4n bur53 Removed by j4n bur53 ...	Hewitt	2015-06-25 00:05
Story	Call-by-Name, Call-by Value and the Lambda Calculus Non-Congruence vs CR-ness by j4n bur53 Not clear why Church Rosser by j4n bur53 Doing it Without Church Rosser by j4n bur53	Ehud Lamm	2015-01-12 02:08
Forum topic	Limitations of Prolog-style clausal programs Some last note by j4n bur53 Removed by j4n bur53 Removed by j4n bur53 Removed by j4n bur53 Removed by j4n bur53 Removed by j4n bur53 Removed by j4n bur53 Removed by j4n bur53 Removed by j4n bur53 Removed by j4n bur53 ...	Hewitt	2014-02-11 10:53
Forum topic	Inconsistency Robustness in Logic Programs Removed by j4n bur53 Removed by j4n bur53 Removed by j4n bur53 Removed by j4n bur53 Removed by j4n bur53 Removed by j4n bur53 Removed by j4n bur53 Removed by j4n bur53 Removed by j4n bur53 Removed by j4n bur53 ...	Hewitt	2014-01-01 18:30
Forum topic	Strong Mathematical Foundations for Computer Science Removed by j4n bur53 Removed by j4n bur53 Removed by j4n bur53 Removed by j4n bur53 Removed by j4n bur53 Removed by j4n bur53 Removed by j4n bur53 Removed by j4n bur53 Removed by j4n bur53	Hewitt	2013-11-25 14:58
Forum topic	Continuation of Discussion: "Mathematics self-proves its own Consistency (contra Gödel et. al.)" Removed by j4n bur53 Removed by j4n bur53 Removed by j4n bur53 Removed by j4n bur53 Removed by j4n bur53 Removed by j4n bur53 Removed by j4n bur53 Removed by j4n bur53	Hewitt	2013-10-26 19:36
Forum topic	Future of Programs using Assertions, Goals, and Plans Removed by j4n bur53	Hewitt	2013-08-10 01:07
Story	On the history of the question of whether natural language is “illogical” Polysemy, Idioms and Compositionality by j4n bur53 Compositionality by j4n bur53	Ehud Lamm	2013-06-06 15:18
Forum topic	Janus: A Time-Reversible Language Verification Tools by j4n bur53	Sean McDirmid	2013-05-25 11:38
Forum topic	Everybody Needs a Syntax Extension Sometimes Bug fixed by j4n bur53 Obvious Risk by j4n bur53 One gets used to it by j4n bur53 No, I am using call/n and not call/1 by j4n bur53 ^/n works since it is not ^/2 by j4n bur53 Prolog Yes, Logic Programming No by j4n bur53	danbst	2013-05-19 12:26
Forum topic	The stack calculus : a fundamental (and simple !) calculus for Classical Logic Nice by j4n bur53	gasche	2013-04-11 12:13
Story	LtU is migrating from Drupal LoL by j4n bur53	Ehud Lamm	2013-04-02 07:38
Forum topic	Relational Model Considered Obsolete Removed by j4n bur53	Hewitt	2013-01-12 03:12
Forum topic	A new look at multimaps Nice Read by j4n bur53	Robbert van Dalen	2012-11-29 03:28
Story	Parsing: The Solved Problem That Isn't Optimization (Asymmetric Conjunction and "Right to Left" Order) by j4n bur53 Coming home with full hands by j4n bur53 Belief Contraction by j4n bur53 +1 by j4n bur53 Magic Set vs Earley by j4n bur53 My Fault / Doubt by j4n bur53 Not Language Elements, Parsing Algorithms by j4n bur53 Not Scribbling, Some Practical Testing by j4n bur53 Data-Driven vs Function-Driven by j4n bur53 Chart Parsers use Memoization for A --> B Productions by j4n bur53 ...	James Iry	2012-08-26 09:11
Story	Interactive Tutorial of the Sequent Calculus Same Doubt by j4n bur53	Manuel J. Simoni	2012-07-24 17:55
Story	Julia, a language for technical computing Java Grande on Lisp by j4n bur53	Manuel J. Simoni	2012-03-12 02:05
Story	What does focusing tell us about language design? What is /\ by j4n bur53 Origins of Focusing? by j4n bur53 Similar Doubt by j4n bur53	Manuel J. Simoni	2012-03-07 19:07
Story	When Formal Systems Kill: Computer Ethics and Formal Methods No GNU, since it is too risky? by j4n bur53	James Iry	2012-02-29 23:02
Story	Dependently Typed Programming based on Automated Theorem Proving What is elimJ? by j4n bur53	Jacques Carette	2012-02-22 18:59
Forum topic	Embedding Prolog in Haskell Same Skeptical Reasoning by j4n bur53 Leave Behind Classical Logic by j4n bur53 Just a Carricature by j4n bur53 Academic Freedom, response to Charles Stewart by j4n bur53 One more Prolog in Scala: Styla by j4n bur53 Nothing specific to Jekejeke Prolog by j4n bur53 Not specific to relation languages resp. Prolog by j4n bur53 SOCI looks to me like mixing by j4n bur53 Term Centric Protocoll by j4n bur53 Type checking of L and K is still done in a FFI by j4n bur53 ...	Frank Atanassow	2012-02-13 17:04
next page last page

---

Logs: Hack The Planet ; JavaLobby ; Daily Python-URL ; Daily WTF ; PHP everywhere ; (more)
Wikis: WikiWiki ; Erlang ; Common Lisp ; Haskell ; Squeak ; Tcl ; Program Transformation