Daniel Slaney

typetitleauthor sort iconlast post
Forum topicWhat is Intuitive? raould2016-05-12 23:55
Forum topicConstraint-Based Type Inference and Parametric Polymorphism Sean McDirmid2015-02-13 23:43
StoryThe Three Laws of Programming Language Design bashyal2013-07-04 14:32
StoryJohn C. Reynolds, 1935-2013 neelk2013-05-08 11:20
Forum topicAre scalars "just" degenerate matrices? Douglas McClean2012-09-22 21:38
Forum topicIDE design for immediate feedback David Wagner2012-09-04 09:14
StoryMachine Obstructed Proof Tommy McGuire2010-11-08 18:57
Forum topicThe Next Mainstream Programming Languages Per Vognsen2010-01-24 13:32
Forum topicWhat do you believe about Programming Languages (that you can't prove (yet))? John Carter2009-05-23 23:23
StoryGrady Booch: Software Engineering Grand Challenges Ehud Lamm2008-04-27 18:35
Forum topicA Growable Language Manifesto RobJellinghaus2007-12-24 20:01
Forum topicUniqueness Types Instead STM kaveh.shahbazian2007-10-12 22:59
StoryThe Karmasphere DP language Philippa Cowderoy2007-08-07 19:04
StorySun's new JavaFX Script language segphault2007-05-21 17:08
Forum topicHow do you call such a design pattern Marcin Stefaniak2007-03-21 10:54
Forum topicEta-expansion of abstractions outside the lambda-calculus Daniel Slaney2007-01-09 08:58
StoryCharming Python: Decorators make magic easy Ehud Lamm2007-01-06 15:50
StoryPractical Type Inference Based on Success Typings James Hague2007-01-02 15:11
StoryAgentSheets: End-User Programing (and Secret Lisp Success Story!) Brent Fulgham2006-12-31 23:19
StoryJava Open Review Project Ehud Lamm2006-12-16 11:29
Forum topicRequest for feedback: hobbyist post on "the significance of the meta-circular interpreter." raganwald2006-12-07 22:33
Forum topicFunctional programming and software engineering Kay Schluehr2006-11-20 17:36
StoryDynamic Languages Symposium Program Online Erik Meijer2006-09-20 17:21
Forum topicYour favourite editor/IDE Josef Svenningsson2006-08-27 07:38
Forum topicCovariance and typing dataangel2006-08-05 13:21