H. Hernan Moraldo - personal archive
home about faq contact website

2005

Articles

  • HQL - HHM's Quantified Lambda: original paper defining the semantics of a small functional language, whose expressions can involve the use of quantifier operators

Articulos

BriefTexts

HdevPosts

Interviews

Misc

Press




Copyright 2000-2008 by Horacio Hernán Moraldo
All rights reserved