Master Course
Automatic Program Analysis
WebHome
-
Education Page
-
Description
-
Literature
-
Schedule and Slides
-
Assignments
-
Software
Center
Master Program
Center
Home
Courses
People
Projects
Page
Edit Page
Rename Page
Attach File
Printable
Wiki Source
More ...
Web
Recent Changes
Notify Service
News
Page Index
Search
More ...
Wiki
About TWiki
Text Formatting
Registration
Change Password
Reset Password
Users
Groups
Log In
or
Register
Course Software
Apa
---++ General issues As concerns hardware and software this is a rather simple course. You can often get away with using a Haskell compiler (ghc[i] is advised) for the programming assignment. The language of implementation will be decided on a per assignment/project basis. ---++ Software downloads * [[%ATTACHURL%/typeandeffect-latex-base.zip][typeandeffect-latex-base.zip]]: !Lhs2Tex styles/formats with examples for Type and Effect systems. People have asked whether they may use parsers etc. made during Compiler Construction. The answer is Yes, you may. ---++ More information Questions about hardware and software installed on the student network should be addressed to the student helpdesk (helpdesk@cs.uu.nl). Before you do, first consult the _computers and services_ pages of the institute right <a href="http://www.cs.uu.nl/intern/technical/" target="_top">here</a>, (especially under _systems and services_).