-
University of Canterbury
- Christchurch, New Zealand
- https://ucvision.org.nz/
Stars
Research language for array processing in the Haskell/ML family
A GHC-based Haskell to JavaScript compiler
Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) uses composable events and time-varying values to describe interactive systems as pure functions. Just …
do-notation for Category and "Arrow without arr"
Type-safe tensor manipulation operations in Haskell with tensorflow-style automatic differentiation
Higher level support for implementing reflex frameworks
Generic representation and manipulation of abstract syntax
An approach to managing composable effects, ala mtl/transformers/extensible-effects/Eff
Type level lists, pairs, sums, their operations, and their properties.
Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work
Haskell library implementing parametric compositional data types.
Switchable monad transformers and collections for reflex
Reify a recursive data structure into an explicit graph.
split Events and Dynamics of a sumType into separate Events and Dynamics which only update when a particular constructor updates.