Title of article :
A Structured Approach to Retrieving Functions by Types
Author/Authors :
Park، Jin- Young نويسنده , , An، Nancy نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 1999
Abstract :
This paper describes a work in progress that is a part of a Metcast effort [1], a request-reply and subscription (channel) system for distributing meteorological information.
Keywords :
breadth-first , traversal , Program calculation , functional programming , fold , unfold , co-induction , anamorphism , level-order
Journal title :
A C M Sigplan (Programming Languages) Sigplan Notices
Journal title :
A C M Sigplan (Programming Languages) Sigplan Notices