BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
function (2)
languag (2)
program (2)
leftmost (1)
prolog (1)

Stem impur$ (all stems)

9 papers:

PEPMPEPM-2014-KameyamaKS #code generation #combinator
Combinators for impure yet hygienic code generation (YK, OK, CcS), pp. 3–14.
POPLPOPL-2013-StatonL #programming language
Universal properties of impure programming languages (SS, PBL), pp. 179–192.
ICGTICGT-2010-Jiresch #interactive
Realizing Impure Functions in Interaction Nets (EJ), pp. 394–396.
POPLPOPL-2010-Chlipala #compilation #functional
A verified compiler for an impure functional language (AC), pp. 93–106.
LOPSTRLOPSTR-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.
POPLPOPL-1996-Pippenger #lisp
Pure versus Impure LISP (NP), pp. 104–109.
ICMLICML-1995-Greiner #challenge
The Challenge of Revising an Impure Theory (RG), pp. 269–277.
ICLPICLP-1986-Moss86 #prolog
Cut and Paste — defining the impure Primitives of Prolog (CM), pp. 686–694.
VLDBVLDB-1982-Deen #implementation
An Implementation of Impure Surrogates (SMD), pp. 245–256.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.