Semantic bidirectionalization revisited. - Meng Wang 002; Shayan Najd (PEPM, 2014)

Everything old is new again: quoted domain-specific languages. - Shayan Najd; Sam Lindley; Josef Svenningsson; Philip Wadler (PEPM, 2016)

Embedding by Normalisation. - Shayan Najd; Sam Lindley; Josef Svenningsson; Philip Wadler (CoRR, 2016)

Trees that Grow. - Shayan Najd; Simon Peyton Jones (J. Univers. Comput. Sci., 2017)