Notes on how Servant works

categories: Haskell, Servant, WebAPI, Web Development

Just Some Notes on Linear Haskell

categories: Haskell, Linear Types, PL

A review of “E-coaching Ecosystem: Design and Effectiveness Analysis of the Engagement of Remote Coaching on Athletes”

categories: HCI, remote coaching, sports

Movement Correction and Remote Coaching: A New Research Program

categories: HCI, remote coaching, sports

HCI: Fitness: What is a movement?

HCI: Open Questions in the Accessibility of Programming with Vision Impairments

HCI: Glanceable Visualizations on Smartwatches

HCI: SODBeans: A debugger for people with vision impairments

PL: Indexed Operations

HCI: An Update on CHI 2022

I’m Recruiting a PhD Student

PL: From monads to comonads and back

A brief history of graded modalities

Who came up with semantic brackets?

Category Theory Notes

New Blog Infrastructure

Come One, Come All! The AU CS Colloquium Series is Open to All

Online Seminar: A gentle introduction to template games

A Simplification to LNL Models

Several Online Workshops Coming Soon

Units in Graded Sequent Calculi

Thoughts on Mentoring Undergraduate Research Assistants

My Path from Special Education to Assistant Professor

Postdoc Opportunity at Augusta University

POPL Tutorial: Linear and Graded Modal Types for Fine-Grained Program Reasoning

Augusta University is Hiring Computer Scientists!

New Papers and Talks

Linear Categories: A Folklore Simplification

Barr's Diagrams: Thumbnails

Day 1 at the NSF Career Workshop

Rebooting the Blog: What have I been up to?

Coalgebras, Comonads, and Distributive Laws

LL2016 - Linear Logic: interaction, proofs and computation

Trends in Functional Programming 2016

The Collapse: When Matter Meets Antimatter

LFCS16: Topics

Logical Foundations in Computer Science 2016

Resources for Categories in CS

NIST Workshop on Computational Category Theory: Day 1 and Day 2

NIST Workshop on Computational Category Theory: Day 0

On the Categorical Model of Fragmented Y