RSS

simonbates + types   12

Types are Anti-Modular by Gilad Bracha
plt  types 
july 2011 by simonbates
What To Know Before Debating Type Systems by Chris Smith
"Benefits of Static Types"
plt  types 
april 2010 by simonbates
Types Considered Harmful by Benjamin C. Pierce (PDF)
types  plt 
june 2008 by simonbates
Dynamic Languages Strike Back by Steve Yegge
dynamic  types  plt  javascript  lisp  java  python  ruby  smalltalk 
may 2008 by simonbates
HMF: Simple type inference for first-class polymorphism (Lambda the Ultimate)
plt  types 
april 2008 by simonbates
An Accidental Simula User by Luca Cardelli (PDF)
ECOOP 2007 Dahl-Nygaard Senior Prize
plt  functional  objectoriented  programming  microsoft  history  types 
october 2007 by simonbates
in defense of types by Matthias Felleisen
thread on ll1-discuss@ai.mit.edu, May 2002
types 
july 2007 by simonbates
Church’s Thesis and Functional Programming by David Turner (PDF)
introduction to programming language theory
computerscience  functional  programming  types 
june 2007 by simonbates
JavaGI: Generalized Interfaces for Java by Stefan Wehr and Ralf Lämmel and Peter Thiemann
computerscience  programming  types  java 
january 2007 by simonbates
A modern eye on ML Type Inference by Francois Pottier (INRIA) (PDF)
September 2005
computerscience  functional  programming  types 
january 2007 by simonbates
Typed Assembly Language
computerscience  types 
december 2006 by simonbates
You can write, but can you type? by Bertrand Meyer
computerscience  objectoriented  programming  types 
december 2006 by simonbates

Copy this bookmark:



description:


tags: