MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Shape Types." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 525 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Shape Types  
  • by Pascal Fradet, Daniel Le M'etayer, Campus De Beaulieu — 1997 — In Proc. 24th ACM POPL
  • …Shape Types Pascal Fradet and Daniel Le M'etayer Irisa/Inria Campus de Beaulieu, 35042 Rennes…
  • Cited by 64 (5 self) – Add To MetaCart
  • Shape Types  
  • by Pascal Fradet And, Pascal Fradet, Daniel Le M'etayer, Campus De Beaulieu — 1997 — In Proc. 24th ACM POPL
  • …Shape Types Pascal Fradet and Daniel Le M'etayer Irisa/Inria Campus de Beaulieu, 35042 Rennes…
  • Add To MetaCart
  • Shapely Types and Shape Polymorphism  
  • by C. Barry Jay, J.R.B. Cockett — 1994 — Programming Languages and Systems - ESOP '94: 5th European Symposium on Programming
  • … Shapely Types and Shape Polymorphism C. Barry Jay 1 and J.R.B. Cockett 2 1 School of Computing…
  • Cited by 26 (6 self) – Add To MetaCart
  • Dynamic Shape Typing  
  • by Joris S.M. Vergeest, Yu Song — 2002
  • … and Information in Engineering Conference Montreal, Canada, September 29 - October 2, 2002 Dynamic Shape Typing…
  • Cited by 1 (1 self) – Add To MetaCart
  • Functors, Types and Shapes  
  • by Barry Jay, Eugenio Moggi — 1998 — Chalmers University of Technology
  • …Functors, Types and Shapes Barry Jay, SOCS - Univ. of Tech. Sydney, Australia cbj…
  • Cited by 1 (0 self) – Add To MetaCart
  • A Semantics for Shape  
  • by C. Barry Jay — 1995 — Science of Computer Programming
  • …A Semantics for Shape C. Barry Jay Abstract Shapely types separate data, represented by lists…
  • Cited by 54 (18 self) – Add To MetaCart
  • Categories of Containers  
  • by Michael Abbott, Thorsten Altenkirch, Neil Ghani — 2003 — In Proceedings of Foundations of Software Science and Computation Structures
  • … algebras and final coalgebras. We also show that containers include strictly positive types and shapely…
  • Cited by 14 (5 self) – Add To MetaCart
  • Appendix A---ProcessModel Shapes/Graphics  
  • by Standard Processmodel Palettes
  • … model element. User’s Guide 311 Appendix A Appendix A Default Shapes Types 312 User’s Guide The type…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB