Chris Warburton

typetitleauthorlast post sort icon
Forum topicReversing operations Pablo Barenbaum2017-09-08 16:08
Forum topicMathematics self-proves its own Consistency (contra Gödel et. al.) Hewitt2015-06-25 00:05
Forum topicMaking implicits less powerful? Vladimir Slepnev2015-02-20 16:07
Forum topicAmbiguous language namespaces Sean McDirmid2014-07-04 03:31
Forum topictype theory about programming language? Rys McCusker2014-05-21 23:10
Forum topicUsing real arithmetic to eliminate bounds checking? Vladimir Slepnev2014-05-14 22:01
Forum topicCurrying in non-curried languages Chris Warburton2014-05-08 08:07
Forum topicDesigning an alternative to s-expressions for language extensibility Olivier Breuleux2014-04-20 21:03
Forum topicJulia has no dependent types andrew cooke2014-03-13 16:43
Forum topicResilient Languages spdegabrielle2014-03-11 00:57
Forum topicSyntax for reification of types cdiggins2014-03-04 19:20
Forum topicWolfram Language Sean McDirmid2014-02-26 09:48
Forum topicBooleans vs strings jamii2014-02-15 22:49
Forum topicMinimal implementation of state machines giuseppemag2014-02-01 05:12
Forum topicExamples for benefitfs of dynamic programming languages Sebastian Okon2014-01-30 21:54
Forum topicA glimpse into a new general purpose programming language under development at Microsoft Charles Torre2014-01-27 05:08
Forum topicPrint release of a textbook on the Coq proof assistant Adam Chlipala2014-01-15 13:50
Forum topicDifferent approaches to letting a programmer define interface implementations. Kannan Goundan2014-01-15 04:00
Forum topicPragmatic aspects of dimension types, and the problem of angles Douglas McClean2014-01-14 17:44
Forum topica little language for platform games Mike Robinson2014-01-06 19:10
Forum topicPractical rules for controlling program effects in an imperative / OOP environment. bryanedds2013-12-08 06:50
Forum topicactors conflate too much raould2013-11-16 01:13
Forum topicStatic typing and direct AST manipulation tkirchner2013-11-15 01:52
Forum topicPrototypal inheritance misunderstood SimonM2013-10-29 20:20
Forum topicTheory of a Declarative Language thomash2013-08-29 13:43