Keean Schupke

typetitleauthor sort iconlast post
Forum topicDynamic Hindley-Milner? Sean McDirmid2014-07-08 08:42
Forum topicGradual Instantiation David Minor2014-07-06 17:37
Forum topicCompositional let bindings Keean Schupke2014-07-05 15:36
Forum topicAmbiguous language namespaces Sean McDirmid2014-07-04 03:31
Forum topicArtificial Intelligence Ivan V.2014-06-25 12:51
Forum topicRank-0 Intersection Type System Keean Schupke2014-06-15 11:52
Forum topicNotation for debugging type derivations. Keean Schupke2014-06-06 19:04
Forum topicSelf-assembling Type-directed Dataflows raould2014-06-04 18:13
Forum topicAnnouncing Lang.NEXT 2014 - Registration is Free and Now Open Charles Torre2014-06-04 00:59
Forum topicSymbol visibility (public, private, protected, etc.) Talin2014-05-31 05:02
StoryFifty Years of BASIC, the Programming Language That Made Computers Personal bashyal2014-05-30 20:21
Forum topicThose pesky higher-rank types. Or how to type \f x y. (f x, f y) marco2014-05-26 17:22
Forum topictype theory about programming language? Rys McCusker2014-05-21 23:10
Forum topicSafe interior references in the presence of mutation Jules Jacobs2014-05-20 20:26
Forum topicUsing real arithmetic to eliminate bounds checking? Vladimir Slepnev2014-05-14 22:01
Forum topicValue-level programming Vladimir Slepnev2014-05-08 19:51
Forum topicGiant list of visual PLs Manuel J. Simoni2014-05-02 16:09
Forum topicInquiry into the nature of software complexity. bryanedds2014-04-24 20:30
Story.NET Compiler Platform ("Roslyn") Ehud Lamm2014-04-22 23:53
Forum topicMultimethods over structural types Benjohn Barnes2014-04-07 13:08
Forum topicToward a better programming ibdknox2014-04-01 05:35
StoryWhat Are The Resolved Debates in General Purpose Language Design? James Iry2014-03-31 20:55
StoryFacebook Introduces ‘Hack,’ the Programming Language of the Future bashyal2014-03-26 03:53
StoryPropositions as Types Manuel J. Simoni2014-03-19 07:14
Forum topicInconsistency Robustness in Foundations Hewitt2014-02-26 20:00