BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
function (26)
type (5)
declar (4)
time (3)
theorem (2)

Stem pearl$ (all stems)

38 papers:

ICFPICFP-2015-JaskelioffR #data type #functional
Functional pearl: a smart view on datatypes (MJ, ER), pp. 355–361.
ICFPICFP-2015-RompfA #c #compilation #functional #sql
Functional pearl: a SQL to C compiler in 500 lines of code (TR, NA), pp. 2–9.
ICFPICFP-2015-Russo #functional #haskell
Functional pearl: two can keep a secret, if one of them uses Haskell (AR), pp. 280–288.
ICFPICFP-2014-GibbonsW #domain-specific language #functional
Folding domain-specific languages: deep and shallow embeddings (functional Pearl) (JG, NW), pp. 339–347.
ICFPICFP-2014-Pottier #functional
Hindley-milner elaboration in applicative style: functional pearl (FP), pp. 203–212.
IFLIFL-2014-KoopmanPJ #data type #encoding #functional #harmful #implementation
Church Encoding of Data Types Considered Harmful for Implementations: Functional Pearl (PWMK, RP, JMJ), p. 4.
IJCARIJCAR-2014-Blanchette0T #induction #logic
Unified Classical Logic Completeness — A Coinductive Pearl (JCB, AP, DT), pp. 46–60.
ICFPICFP-2013-AxelssonC #functional #higher-order #source code #syntax #using
Using circular programs for higher-order syntax: functional pearl (EA, KC), pp. 257–262.
ICFPICFP-2013-Dolan #algebra #functional #linear
Fun with semirings: a functional pearl on the abuse of linear algebra (SD), pp. 101–110.
ICFPICFP-2013-Mairson #functional #geometry
Functional geometry and the Traité de Lutherie: functional pearl (HGM), pp. 123–132.
FLOPSFLOPS-2012-Bouma #declarative #logic #persistent #realtime
Real-Time Persistent Queues and Deques with Logic Variables (Declarative Pearl) (GB), pp. 62–72.
ICFPICFP-2012-VytiniotisJM #compilation #fault #proving #similarity
Equality proofs and deferred type errors: a compiler pearl (DV, SLPJ, JPM), pp. 341–352.
ICFPICFP-2011-MightDS #functional #parsing
Parsing with derivatives: a functional pearl (MM, DD, DS), pp. 189–195.
ICFPICFP-2011-MuM #functional #morphism #theorem
Generalising and dualising the third list-homomorphism theorem: functional pearl (SCM, AM), pp. 385–391.
ICFPICFP-2011-ShiversT #composition #functional
Modular rollback through control logging: a pair of twin functional pearls (OS, AJT), pp. 58–68.
CSLCSL-2011-MoreNS #axiom #concurrent #independence #semantics
Concurrency Semantics for the Geiger-Paz-Pearl Axioms of Independence (SMM, PN, BS), pp. 443–457.
FLOPSFLOPS-2010-HoweK #prolog #satisfiability
A Pearl on SAT Solving in Prolog (JMH, AK), pp. 165–174.
ICFPICFP-2010-FischerHW #functional #game studies #regular expression
A play on regular expressions: functional pearl (SF, FH, TW), pp. 357–368.
ICFPICFP-2010-VytiniotisK #functional
Functional pearl: every bit counts (DV, AJK), pp. 15–26.
ICFPICFP-2009-Hinze #functional
Functional Pearl: La Tour D’Hanoï (RH), pp. 3–10.
ICFPICFP-2009-Voigtlander #functional #theorem
Free theorems involving type constructor classes: functional pearl (JV), pp. 173–184.
POPLPOPL-2009-Voigtlander #bidirectional #exclamation #for free
Bidirectionalization for free! (Pearl) (JV), pp. 165–176.
FLOPSFLOPS-2008-Benton #declarative #dynamic typing #type system
Undoing Dynamic Typing (Declarative Pearl) (NB), pp. 224–238.
FLOPSFLOPS-2008-KiselyovBFS #declarative
Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl) (OK, WEB, DPF, CcS), pp. 64–80.
ICFPICFP-2008-Hinze #fixpoint #functional
Functional pearl: streams and unique fixed points (RH), pp. 189–200.
POPLPOPL-2008-McBride #data type
Clowns to the left of me, jokers to the right (pearl): dissecting data structures (CM), pp. 287–295.
POPLPOPL-2008-Voigtlander #parallel
Much ado about two (pearl): a pearl on parallel prefix computation (JV), pp. 29–35.
ICFPICFP-2007-Herman #functional #how
Functional pearl: the great escape or, how to jump the border without getting caught (DH), pp. 157–164.
ICFPICFP-2006-Bird #functional
Fifteen years of functional pearls (RSB), p. 215.
ICFPICFP-2005-Cheney #functional
Scrap your nameplate: (functional pearl) (JC), pp. 180–191.
ICFPICFP-2005-KiselyovSFS #backtracking #functional #monad
Backtracking, interleaving, and terminating monad transformers: (functional pearl) (OK, CcS, DPF, AS), pp. 192–203.
ICFPICFP-2002-Ford #functional #lazy evaluation #linear #parsing
Packrat parsing: : simple, powerful, lazy, linear time, functional pearl (BF), pp. 36–47.
ICFPICFP-2000-GapeyevLP #functional #recursion #type system
Recursive subtyping revealed: functional pearl (VG, MYL, BCP), pp. 221–231.
ICFPICFP-2000-JonesES #contract #functional
Composing contracts: an adventure in financial engineering, functional pearl (SLPJ, JME, JS), pp. 280–292.
ICFPICFP-2000-Weirich #functional #type safety
Type-safe cast: functional pearl (SW), pp. 58–67.
DACDAC-1988-Cherry #named
Pearl: A CMOS Timing Analyzer (JJC), pp. 148–153.
DACDAC-1986-DeJesusCW #layout #named #power management
PEARL: an expert system for power supply layout (EJD, JPC, CRW), pp. 615–621.
ICSEICSE-1979-Martin
PEARL At the Age of Three (TM), pp. 100–110.

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.