MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Functorial ML." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 11 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Functorial ML  
  • by Functorial Ml, C. B. Jay, G. Bellè, E. Moggi — 1998
  • … Cambridge University Press 1 Functorial ML C.B. JAY School of Computing Sciences, University…
  • Add To MetaCart
  • Functorial ML  
  • by G. Belle, C. B. Jay, E. Moggi — 1996
  • …Functorial ML G. Belle 2 , C.B. Jay 1 and E. Moggi 2 1 SOCS - Univ. of Tech. Sydney, P.O. Box…
  • Cited by 23 (9 self) – Add To MetaCart
  • Separating Shape from Data  
  • by C. B. Jay
  • … is Functorial ML [BJM96], which extends core ML with a class of functors for representing shapes. Shape…
  • Add To MetaCart
  • Functors, Types and Shapes  
  • by Barry Jay, Eugenio Moggi — 1998 — Chalmers University of Technology
  • …. This approach is developed in the language Functorial ML, or FML [BJM96, JBM98]. Thus FML treats the functors…
  • Cited by 1 (0 self) – Add To MetaCart
  • PolyLib - a library of polytypic functions  
  • by Patrik Jansson, Johan Jeuring — 1998 — In Workshop on Generic Programming (WGP'98), Marstrand
  • …Lib Functorial ML [1] Squiggol charity [3] cata i fold 1 i (jij) ----- i --- ana o - [(o)] (--- o ---) Functions…
  • Cited by 3 (0 self) – Add To MetaCart
  • Co-)iteration for higher-order nested datatypes  
  • by Andreas Abel, Ralph Matthes — 2003 — Post-Conf. Proc. of IST WG TYPES 2nd Ann. Meeting, TYPES'02, Lect. Notes in Comput. Sci
  • … the capabilities of Functorial ML [JBM98]. Although that system uses constants witnessing monotonicity to describe…
  • Cited by 7 (4 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB