j4n bur53

typetitleauthor sort iconlast post
Forum topicDon't use "Yield" for co-routines; instead use "Postpone" Hewitt2016-05-09 12:03
Forum topicANN: Jekejeke Minlog 0.6.2 (forward debugging and hypothetical reasoning) j4n bur532016-05-09 11:56
StorySecond-order logic explained in plain English Charles Stewart2016-02-19 12:40
StoryProgress on Gradual Typing gasche2016-01-28 15:13
Forum topicMathematics self-proves its own Consistency (contra Gödel et. al.) Hewitt2015-06-25 00:05
StoryCall-by-Name, Call-by Value and the Lambda Calculus Ehud Lamm2015-01-12 02:08
Forum topicLimitations of Prolog-style clausal programs Hewitt2014-02-11 10:53
Forum topicInconsistency Robustness in Logic Programs Hewitt2014-01-01 18:30
Forum topicStrong Mathematical Foundations for Computer Science Hewitt2013-11-25 14:58
Forum topicContinuation of Discussion: "Mathematics self-proves its own Consistency (contra Gödel et. al.)" Hewitt2013-10-26 19:36
Forum topicFuture of Programs using Assertions, Goals, and Plans Hewitt2013-08-10 01:07
StoryOn the history of the question of whether natural language is “illogical” Ehud Lamm2013-06-06 15:18
Forum topicJanus: A Time-Reversible Language Sean McDirmid2013-05-25 11:38
Forum topicEverybody Needs a Syntax Extension Sometimes danbst2013-05-19 12:26
Forum topicThe stack calculus : a fundamental (and simple !) calculus for Classical Logic gasche2013-04-11 12:13
StoryLtU is migrating from Drupal Ehud Lamm2013-04-02 07:38
Forum topicRelational Model Considered Obsolete Hewitt2013-01-12 03:12
Forum topicA new look at multimaps Robbert van Dalen2012-11-29 03:28
StoryParsing: The Solved Problem That Isn't James Iry2012-08-26 09:11
StoryInteractive Tutorial of the Sequent Calculus Manuel J. Simoni2012-07-24 17:55
StoryJulia, a language for technical computing Manuel J. Simoni2012-03-12 02:05
StoryWhat does focusing tell us about language design? Manuel J. Simoni2012-03-07 19:07
StoryWhen Formal Systems Kill: Computer Ethics and Formal Methods James Iry2012-02-29 23:02
StoryDependently Typed Programming based on Automated Theorem Proving Jacques Carette2012-02-22 18:59
Forum topicEmbedding Prolog in Haskell Frank Atanassow2012-02-13 17:04