I am a computer science PhD student at the University of Kansas, focusing on programming languages and semantics.

My answers to 4 of my favorite StackOverflow questions

• Question title: “Haskell: How to create most generic function possible that applies a function to tuple items”
  – My answer

• Question title: “If Either can be either Left or Right but not both, then why does it correspond to OR instead of XOR in Curry-Howard correspondence?”
  – My answer

• Question title: “Preventing an argument to be a complex number”
  – My answer

• Question title: “non-monadic error handling in Haskell”
  – My answer

Ongoing projects

• patterns: A reusable representation of pattern matching for use within Haskell embedded domain specific languages which improves upon some of the ideas in our 2021 PADL paper

• cocategory-logic: A domain specific language embedded in Haskell for defining logical systems and expressing proofs in those logical systems. Based on Chris Penner’s tweets, using linear types and CoCategory

Publications

• On Adding Pattern Matching to Haskell-Based Deeply Embedded Domain Specific Languages.
  David Young, Mark Grebe, Andy Gill. PADL 2021.
  • A video of my presentation is here
• Rewriting a shallow DSL using a GHC compiler extension.
  Mark Grebe, David Young, Andy Gill. GPCE 2017.