MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Functional Programming with Combinators." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 20 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Lazy Narrowing with Parametric Order Sorted Types  
  • by J.M. Almendros-Jiménez, J. M. Almendros-jim'enez, A. Gil-luezas — 1997 — Procs. ALP-HOA'97, LNCS 1298
  • …:fjesusmal,anagilg@(email omitted); Abstract. Recently, a model theoretic semantics for lazy functional programming combining parametric…
  • Cited by 3 (1 self) – Add To MetaCart
  • Reporting Failures in Functional Logic Programs  
  • by Michael Hanus — 2006 — In Proc. of the 15th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2006
  • …, higher-order functions, and polymorphic typing from functional programming are combined with logic…
  • Cited by 1 (0 self) – Add To MetaCart
  • Polytypic Data Conversion Programs  
  • by Patrik Jansson, Johan Jeuring — 2001 — Science of Computer Programming
  • … information about, the contents. The classical functional programming combinator map :: (a -- b) -- [a] -- [b…
  • Cited by 20 (7 self) – Add To MetaCart
  • Inductive Synthesis of Logic Programs by  
  • by Composition Of Combinatory, Andreas Hamfelt, Jørgen Fischer Nilsson — 1998 — Procs. Workshop on Logic Based Program Transformation and Synthesis
  • … by putting together smaller programs by means of combining forms. In functional programming functional…
  • Add To MetaCart
  • PLAN: A packet language for active networks  
  • by Michael W. Hicks, Pankaj Kakkar Microsoft, Jonathan T. Moore, Carl A. Gunter — 1998 — In Proceedings of the Third ACM SIGPLAN International Conference on Functional Programming Languages
  • … size) lists using the common functional programming combinator fold 1 , and exceptions, all…
  • Cited by 145 (23 self) – Add To MetaCart
  • Contents Preface xi  
  • by Michael J. C. Gordon
  • … for compiling functional programs to combinators (see Section 8.2)� proving the correctness of compiling…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB