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

2004

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

Press




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