Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
4th Fuji International Symposium on Functional and Logic Programming (FLOP* Tsukuba, Japan, Nov. 1999, Springer LNCS Vol. 1722, pages 335-350.
 

Summary:  4th Fuji International Symposium on Functional and Logic Programming (FLOP*
*S'99),

Tsukuba, Japan, Nov. 1999, Springer LNCS Vol. 1722, pages 335-350.



Typed Higher-order Narrowing

without Higher-order Strategies



Sergio Antoy and Andrew Tolmach


Portland State University



  

Source: Antoy, Sergio - Department of Computer Science, Portland State University

 

Collections: Computer Technologies and Information Sciences