logo
The Digital Librarian's Digital Library
DOCIS Documents in Computing and Information Science
 
Home >> Journals and Conference Proceedings >> Algebraic and Logic Programming
 
 
Lazy Narrowing with Parametric Order Sorted Types
 
Jesús Manuel Almendros-Jiménez, Ana Gil-Luezas
 
Journal Title: Algebraic and Logic Programming
Date: 1997
 
 
 
This data comes from DBLP
[SWISH++]Valid XHTML 1.0!
This page is maintained by Angela Cornwell and Thomas Krichel.
It was last updated on 2006-04-12