H ?
«
‹
←
→
›
»
Language peer sets for Cayenne: Sweden↑ Sweden/1998↑ Designed 1998 ↑ 1990s languages ↑ Internet↑ New internationlism↑ Cayenne(ID:5746/cay001)alternate simple viewCountry: Sweden Designed 1998 Functional language with a powerful type system. The basic types are functions, products, and sums. Functions and products use dependent types to gain additional power Catarina Coquand, Chalmers, 1998 Related languages
Resources Search in: Google Google scholar World Cat Yahoo Overture DBLP Monash bib NZ IEEE  ACM portal CiteSeer CSB ncstrl jstor Bookfinder |