David Young -

Not registered as user

Name:David Young

Affiliation:University of Kansas, USA

Contributions

2025

ICFP

Author of A Haskell Adiabatic DSL: Solving Classical Optimization Problems on Quantum Hardware within the ICFP Papers-track

2024

ECOOP

Author of Higher-Order Specifications for Deductive Synthesis of Programs with Pointers within the Technical Papers-track

2021

Symposium on Practical Aspects of Declarative Languages

Author of On Adding Pattern Matching to Haskell-based Deeply Embedded Domain Specific Languages within the PADL 2021-track

2017

GPCE

Author of Rewriting a Shallow DSL using a GHC Compiler Extension within the GPCE 2017-track