Functional languages are a productive medium for expressing algorithms and solving specific classes of problems. When functional languages are applicable, they are amazingly effective. A well written functional program is a concise executable specification of a solution to a problem.

My research program improves both the applicability and effectiveness of functional languages by creating language extensions, compiler technologies, and offline translation technologies. We then deploy these new technologies into diverse application areas, including telemetry and real-time systems. The scope and influence of these ideas is larger than simply their use inside our functional language community. The long term goal of our community at large is to change how we build software and design hardware.

EECS 368 Programming Language Paradigms is an introduction to programming language fundamentals. The objective of the course is to provide an introduction to alternative programming models that compliment the traditional imperative models taught in introductory courses. The course will provide theoretical insight into various aspects of modern languages while requiring hands-on development of programs using Java, Scheme, and Haskell.

Kevin Matlage and Andy Gill, ChalkBoard: Mapping Functions to Polygons, Submitted to IFL'09, Nov 2009.
Andy Gill and Tristan Bull and Garrin Kimmell and Erik Perrins and Ed Komp and Brett Werling, Introducing Kansas Lava, Submitted to IFL'09, Nov 2009.
Graham Hutton and Mauro Jaskelioff and Andy Gill, Factorising Folds for Faster Functions, Submitted to the Journal of Functional Programming special issue on Generic Programming, Oct 2009.

Andy Gill, Type-Safe Observable Sharing in Haskell, Proceedings of the 2009 ACM SIGPLAN Haskell Symposium, Sep 2009.
Andy Gill, A Haskell Hosted DSL for Writing Transformation Systems, IFIP Working Conference on Domain Specific Languages, Jul 2009.
Andy Gill and Graham Hutton, The worker/wrapper transformation, Journal of Functional Programming, Mar 2009.
Johan Nordlander and Magnus Carlsson and Andy Gill, Unrestricted Call-by-Value Recursion, ACM SIGPLAN Workshop on ML, Sep 2008.

PC Member for the Symposium on the Implementation and Application of Functional Languages (IFL'09)
PC Member for the International Conference on Functional Programming (ICFP'10)
PC Member for Practical Aspects of Declarative Languages (PADL'10)
ICFP Programming Contest Chair, 2009
Organizer, Midwest Programming Languages Day, May 8th 2009
PC Member for the Symposium on the Implementation and Application of Functional Languages (IFL'08)
PC Co-Chair for Practical Aspects of Declarative Languages (PADL'09)
PC Chair for the Haskell Symposium (HASKELL'08)
PC Member for Mathematically Structured Functional Programming (MSFP'08)
PC Member for the Haskell Workshop (HASKELL'07)