type sort icontitleauthorlast post
Forum topicWhat would be involved in moving logic beyond FOL? Charles Stewart2017-07-14 15:18
StoryType Systems as Macros naasking2017-06-25 11:19
Forum topicRestructor: Full Program Automatic Refactoring Wouter2017-06-16 21:17
Forum topicFinding Solutions vs. Verifying Solutions Ivan Vodišek2017-05-29 18:23
Forum topicA refutation of Gödel's first incompleteness theorem Enrique Perez Arnaud2017-05-25 18:11
Forum topicAny thoughts on WanaDecrypt0r? marco2017-05-21 21:12
StoryContextual isomorphisms gasche2017-03-10 16:30
StoryPycket: A Tracing JIT For a Functional Language gasche2016-10-06 00:41
Forum topicIs there a language with the ability to write arbitrary type functions? davidb2016-08-24 18:18
Forum topicFormalization and programming language design -- explained to all gasche2016-04-01 05:40
StoryC is Manly, Python is for “n00bs”: How False Stereotypes Turn Into Technical “Truths” Allan McInnes2016-03-25 19:25
Forum topicLogic Programming with Failure as an Exception Keean Schupke2016-03-07 06:17
Forum topicWhither actual generality/customizability/flexibility? raould2016-03-06 14:59
Forum topicNeed to Talk marco2016-02-02 05:56
Forum topicTyped X (Racket, Clojure, Lua) just doesn't pan out? raould2016-01-31 00:31
StoryStatic vs. Dynamic Languages: A Literature Review naasking2016-01-11 06:22
Forum topicTyped Data Andrew Moss2015-12-31 08:59
Forum topicLanguages for SIMT Architectures Keean Schupke2015-12-23 04:49
Forum topicAndrei's answer to "Which language has the brightest future in replacement of C between D, Go and Rust? And Why?" Sean McDirmid2015-11-24 16:45
StoryBreaking Through the Normalization Barrier: A Self-Interpreter for F-omega naasking2015-11-18 18:04
Forum topicRumors in Complexity Theory marco2015-11-13 01:41
Forum topic1ML — Core and modules united Tom Primožič2015-11-09 21:29
Forum topicPL vs. PX Sean McDirmid2015-10-26 18:24
Forum topicOn type safety for core Scala: "From F to DOT: Type Soundness Proofs with Definitional Interpreters" Blaisorblade2015-10-24 14:35
Forum topicFree JFP papers Ehud Lamm2015-10-24 14:03