Stem paradis$ (all stems)

5 papers:

FLOPS-2012-TorontoM

Computing in Cantor’s Paradise with λ ZFC (NT, JM), pp. 290–306.

OOPSLA-2010-KatsVW #declarative #syntax

Pure and declarative syntax definition: paradise lost and regained (LCLK, EV, GW), pp. 918–932.

ICFP-2008-AugustssonMS #domain-specific language #embedded #haskell #named

Paradise: a two-stage DSL embedded in Haskell (LA, HM, GS), pp. 225–228.

SIGMOD-1995-Team95a #database #named

Paradise: A Database System for GIS Applications, p. 485.

VLDB-1994-DeWittKLPY

Client-Server Paradise (DJD, NK, JL, JMP, JBY), pp. 558–569.