About Us
Research
Software
Publications
Blog
Functional Programming Group @ KU
NO CITATION found!
Funded Research
Wakarusa (2014-2019)
Coded APSK (2016-2019)
Armored Software (2013-2017)
HERMIT (2011-2015)
FEC Decoders (2009-2011)
Teaching
EECS 368 (Spring 2020)
EECS 368 QR Cover Sheet
EECS 448 (Spring 2020)
EECS 448 QR Cover Sheet
EECS 776 (Spring 2020)
EECS 776 QR Cover Sheet
Software, Tools and Libraries
HERMIT
Kansas Lava
KURE
Blank Canvas
Haskell Program Coverage
HOOD Debugger
IO-Based Observable Sharing
Wakarusa
Theory and Practice
Constrained Type-Class Instances
Lab Rules
Observable Sharing
Remote Monad Design Pattern
Worker Wrapper
Recent Publications
Rewriting a Shallow DSL Using a GHC Compiler Extension
Composable Network Stacks and Remote Monads
AFrame: A Domain Specific Language for Virtual Reality: Extended Abstract
Threading the Arduino with Haskell
...
KU FPG Blog
The Remote JSON library
Shells and the Remote Monad Design Pattern
2 New KU FPG Papers