はてなブックマーク

What's new and what's going on See the Changelog. Work at UU currently (dec 2015) focusses on integration of various program analysis and rewrite of the type system. What is UHC? UHC is the Utrecht Haskell Compiler. UHC supports almost all Haskell98 features plus experimental extensions. See the current README for platforms under which UHC compiles/runs. Features: Multiple backends, including a by

Date: 2008-06-26 Time: 11:00 Room: BBL room 471 Speaker: John van Schie Title: Compiling Haskell to LLVM (Thesis defense) Abstract Most modern compilers generate executables by targeting high level languages (C, Java, etc.) or managed virtual environments such as the JVM. In this thesis we explore an alternate approach: generating executables by targeting a typed assembly language. Typed assembly

This is a collection of programming language theory texts and resources, all of which are freely available over the Internet. Many valuable reference texts on programming language theory, previously only available in paper form, have in recent years become publicly accessible from the net. I list here the ones I know of; below that you will also find a much broader list of lecture notes and tutori

This is a website used by the ICS in education. If you are looking for more information on our department, go to Information and Computing Sciences. Information regarding your courses can be found in Blackboard. General information regarding ICS courses can be found in Osiris catalog. The archive of the technical reports of our department can be found in Department of Information and Computing Sci

This is a website used by the ICS in education. If you are looking for more information on our department, go to Information and Computing Sciences. Information regarding your courses can be found in Blackboard. General information regarding ICS courses can be found in Osiris catalog. The archive of the technical reports of our department can be found in Department of Information and Computing Sci