The remote monad design pattern. - Andy Gill; Neil Sculthorpe; Justin Dawson; Aleksander Eskilson; Andrew Farmer; Mark Grebe; Jeffrey Rosenbluth; Ryan Scott; James Stanton (Haskell, 2015)

Haskino: A Remote Monad for Programming the Arduino. - Mark Grebe; Andy Gill (PADL, 2016)

Threading the Arduino with Haskell. - Mark Grebe; Andy Gill (TFP, 2016)

Rewriting a shallow DSL using a GHC compiler extension. - Mark Grebe; David Young; Andy Gill (GPCE, 2017)

Composable network stacks and remote monads. - Justin Dawson; Mark Grebe; Andy Gill (Haskell, 2017)

Domain Specific Languages for Small Embedded Systems. - Mark Grebe (2018)

On Adding Pattern Matching to Haskell-Based Deeply Embedded Domain Specific Languages. - David Young; Mark Grebe; Andy Gill (PADL, 2021)