|COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring.|
Dynamic loaded compiler plugins for the Glasgow Haskell Compiler
If you have a question about this talk, please contact Boris Feigin.
Much exciting research work takes place in the area of compiling Haskell: two recent examples are Neil Mitchell’s Supero compiler and Dana Xu’s Extended Static Checking. However, this work is not always available for users of those languages to use due to the difficulty of distributing it: users must be able to download and build a customized version of a modern Haskell compiler like the Glasgow Haskell Compiler. The motivation for dynamically loaded compiler plugins is to ease, not only the distribution, but also the development process for novel compiler extensions such as these.
This talk does not claim to present novel research results, but is rather a light introduction to the construction of a plugin compiler pass from the perspective of a user of that compiler.
This talk is part of the Computer Laboratory Programming Research Group Seminar series.
This talk is included in these lists:
Note that ex-directory lists are not shown.
Other listsImmunology in Pathology International Current Research Topics (Computer Laboratory) 2010-11
Other talksRoles of cytoskeleton in hippocampal synaptic plasticity An overview of ARM Research and a closer look at a trace-driven simulation project Why do we jump the gun? Deconstructing waiting impulsivity in humans Random walk on the random graph Book Launch: Operation Idris: Inside the British Administration of Cyrenaica and Libya, 1942-52 by Richard Synge A Two-stage Image Segmentation Method using a Convex Variant of the Mumford-Shah Model and Thresholding