9 papers:
PEPM-2014-KameyamaKS #code generation #combinator- Combinators for impure yet hygienic code generation (YK, OK, CcS), pp. 3–14.
POPL-2013-StatonL #programming language- Universal properties of impure programming languages (SS, PBL), pp. 179–192.
ICGT-2010-Jiresch #interactive- Realizing Impure Functions in Interaction Nets (EJ), pp. 394–396.
- POPL-2010-Chlipala #compilation #functional
- A verified compiler for an impure functional language (AC), pp. 93–106.
LOPSTR-2005-AlbertPG #logic programming #partial evaluation #source code- Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates (EA, GP, JPG), pp. 115–132.
- POPL-1996-Pippenger #lisp
- Pure versus Impure LISP (NP), pp. 104–109.
ICML-1995-Greiner #challenge- The Challenge of Revising an Impure Theory (RG), pp. 269–277.
ICLP-1986-Moss86 #prolog- Cut and Paste — defining the impure Primitives of Prolog (CM), pp. 686–694.
VLDB-1982-Deen #implementation- An Implementation of Impure Surrogates (SMD), pp. 245–256.
