Pinboard (simonbates) https://pinboard.in/u:simonbates/public/ recent bookmarks from simonbates Types are Anti-Modular by Gilad Bracha 2011-07-11T19:21:22+00:00 http://gbracha.blogspot.com/2011/06/types-are-anti-modular.html simonbatesplt types https://pinboard.in/ https://pinboard.in/u:simonbates/b:eaff31626ad8/ What To Know Before Debating Type Systems by Chris Smith 2010-04-17T22:31:47+00:00 http://www.pphsg.org/cdsmith/types.html simonbates plt types https://pinboard.in/u:simonbates/b:045ae620b37c/ Types Considered Harmful by Benjamin C. Pierce (PDF) 2008-06-01T13:26:53+00:00 http://www.cis.upenn.edu/~bcpierce/papers/harmful-mfps.pdf simonbatestypes plt https://pinboard.in/u:simonbates/b:fd49b2e78120/ Dynamic Languages Strike Back by Steve Yegge 2008-05-24T13:47:08+00:00 http://steve-yegge.blogspot.com/2008/05/dynamic-languages-strike-back.html simonbatesdynamic types plt javascript lisp java python ruby smalltalk https://pinboard.in/u:simonbates/b:015280e15be2/ HMF: Simple type inference for first-class polymorphism (Lambda the Ultimate) 2008-04-26T13:16:22+00:00 http://lambda-the-ultimate.org/node/2779 simonbatesplt types https://pinboard.in/u:simonbates/b:e38c60091705/ An Accidental Simula User by Luca Cardelli (PDF) 2007-10-09T17:46:19+00:00 http://lucacardelli.name/Slides/2007-08-02%20An%20Accidental%20Simula%20User%20(ECOOP%20Prize).pdf simonbates plt functional objectoriented programming microsoft history types https://pinboard.in/u:simonbates/b:c6d184c62588/ in defense of types by Matthias Felleisen 2007-07-16T22:33:57+00:00 http://people.csail.mit.edu/gregs/ll1-discuss-archive-html/msg01651.html simonbates types https://pinboard.in/u:simonbates/b:1eba2b176ea7/ Church’s Thesis and Functional Programming by David Turner (PDF) 2007-06-28T18:43:31+00:00 http://www.cs.kent.ac.uk/people/staff/dat/miranda/ctfp.pdf simonbates computerscience functional programming types https://pinboard.in/u:simonbates/b:2441c1510a1a/ JavaGI: Generalized Interfaces for Java by Stefan Wehr and Ralf Lämmel and Peter Thiemann 2007-01-04T15:00:50+00:00 http://homepages.cwi.nl/~ralf/JavaGI/ simonbatescomputerscience programming types java https://pinboard.in/u:simonbates/b:7dfedc457d68/ A modern eye on ML Type Inference by Francois Pottier (INRIA) (PDF) 2007-01-04T14:41:38+00:00 http://cristal.inria.fr/~fpottier/publis/fpottier-appsem-2005.pdf simonbates computerscience functional programming types https://pinboard.in/u:simonbates/b:3e4e933f0de5/ Typed Assembly Language 2006-12-10T02:46:44+00:00 http://www.cs.cornell.edu/talc/ simonbatescomputerscience types https://pinboard.in/u:simonbates/b:7fa7b3f4f195/ You can write, but can you type? by Bertrand Meyer 2006-12-10T01:56:26+00:00 http://archive.eiffel.com/doc/manuals/technology/bmarticles/joop/type.html simonbatescomputerscience objectoriented programming types https://pinboard.in/u:simonbates/b:a950e751f577/