H ? « ‹ ← → › »

Language peer sets for Agda:
Sweden↑
Sweden/2000↑
Designed 2000 ↑
2000s languages ↑
Internet↑
New internationlism↑

Agda(ID:7860/)

alternate simple view

Country: Sweden
Designed 2000

Functional language

? Modifcation of Cayenne?

Related languages

→

Agda

Evolution of

Resources

Agda page at Chalmers Agda is a system for incrementally developing proofs and programs. Agda is also a functional language with dependent types. This language is very similar to cayenne and agda is intended to be a (almost) full implementation of it in the future.

Search in: Google Google scholar World Cat Yahoo Overture DBLP Monash bib NZ IEEE ACM portal CiteSeer CSB ncstrl jstor Bookfinder