Lambda the Ultimate

type	title	author	last post
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
Forum topic	General purpose as a special case? Language Binders by j4n bur53	Wendell	2011-12-18 04:04
Forum topic	John McCarthy has passed Pioneer and Visionary of AI by j4n bur53	Thomas Lord	2011-12-11 10:31
Story	The Experimental Effectiveness of Mathematical Proof Some doubt by j4n bur53	Paul Snively	2011-11-12 12:16
Forum topic	"Crutches in language design", accidental complexity and feature overlap VM design / Debugging Tools by j4n bur53 Synchronized vs Unsynchronized Objects by j4n bur53	gasche	2011-11-07 11:46
Forum topic	Can I express variable occurence ranges in logic? Could be related to consume/preduce as well by j4n bur53 X and Y are overlapping in by j4n bur53 @Denis: Looks more like equational by j4n bur53 Thank you very much. This by j4n bur53 The problem with scope by j4n bur53 The idea is not to compute the ranges by j4n bur53 Hi,Thank you very much for by j4n bur53	j4n bur53	2011-10-19 10:10
Story	The Semicolon Wars Multimembered, but? by j4n bur53	James Iry	2011-02-20 15:00
first page previous page 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