Keean Schupke

typetitleauthorlast post sort icon
Forum topicArtificial Intelligence Ivan Vodišek2014-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
Forum topicDisallow shadowing? Y2014-02-25 02:06
Forum topicLess is more. Rys McCusker2014-01-19 13:05
Forum topicDifferent approaches to letting a programmer define interface implementations. Kannan Goundan2014-01-15 04:00
Forum topicInterfaces vs. Type Classes shap2014-01-06 00:40