Recent Changes - Search:

CSE dept.


This site contains wiki-pages for the department of computer science and engineering at Chalmers and GU.


edit SideBar

CS /

TranslatingHaskellIntoAgda

Translating Haskell into Agda using domain predicates or coinductive types following Bertot.

contact person: Ana Bove

Follow this link for information about this project.

Edit - History - Print - Recent Changes - Search
Page last modified on December 01, 2008, at 03:25 PM