% $Id$


%% Article
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

@article{milner:polymorphism, 
  author	= {Robin Milner}, 
  title		= {A Theory of Type Polymorphism in Programming}, 
  journal	= {Journal of Computer and System Sciences}, 
  year		= {1978}, 
  month		= {Dec}, 
  volume	= {17}, 
  pages		= {348--375}, 
  folder	= { 2-1}
}

@Article{wirth:ebnf,
  author	= "Niklaus Wirth",
  title		= "What can we do about the unecessary diversity of notation 
for syntactic definitions?",
  journal	= "Comm. ACM",
  year		= 1977,
  volume	= 20,
  pages		= "822-823",
  month		= nov
}


%% Book
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

@Book{abelson-sussman:structure,
  author	= {Harold Abelson and Gerald Jay Sussman and Julie Sussman},
  title		= {The Structure and Interpretation of Computer Programs, 2nd
		  edition},
  publisher	= {MIT Press},
  address	= {Cambridge, Massachusetts},
  year		= {1996},
  url		= {http://mitpress.mit.edu/sicp/full-text/sicp/book/book.html}
}

@Book{goldberg-robson:smalltalk-language,
  author	= "Adele Goldberg and David Robson",
  title		= "{Smalltalk-80}; The Language and Its Implementation",
  publisher	= "Addison-Wesley",
  year		= "1983",
  note		= "ISBN 0-201-11371-6"
}

@Book{matsumtoto:ruby,
  author	= {Yukihiro Matsumoto},
  title		= {{Ruby} in a Nutshell},
  publisher	= {O'Reilly \& Associates},
  year		= "2001",
  month		= "nov",
  note		= "ISBN 0-596-00214-9"
}

@Book{rossum:python,
  author	= {Guido van Rossum and Fred L. Drake},
  title		= {The {Python} Language Reference Manual},
  publisher	= {Network Theory Ltd},
  year		= "2003",
  month		= "sep",
  note		= {ISBN 0-954-16178-5\hspace*{\fill}\\
		  \verb@http://www.python.org/doc/current/ref/ref.html@}
}


%% InProceedings
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

@InProceedings{odersky-et-al:fool10,
  author	= {Martin Odersky and Vincent Cremet and Christine R\"ockl
		  and Matthias Zenger},
  title		= {A Nominal Theory of Objects with Dependent Types},
  booktitle	= {Proc. FOOL 10},
  year		= 2003,
  month		= jan,
  note		= {\hspace*{\fill}\\
		  \verb@http://www.cis.upenn.edu/~bcpierce/FOOL/FOOL10.html@}		  
}


%% Misc
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

@Misc{w3c:dom,
  author	= {W3C},
  title		= {Document Object Model ({DOM})},
  howpublished	= {\hspace*{\fill}\\
		  \verb@http://www.w3.org/DOM/@}
}

@Misc{w3c:xml,
  author	= {W3C},
  title		= {Extensible Markup Language ({XML})},
  howpublished	= {\hspace*{\fill}\\
		  \verb@http://www.w3.org/TR/REC-xml@}
}