Stem pearl$ (all stems)

38 papers:

ICFP-2015-JaskelioffR #data type #functional

Functional pearl: a smart view on datatypes (MJ, ER), pp. 355–361.

ICFP-2015-RompfA #c #compilation #functional #sql

Functional pearl: a SQL to C compiler in 500 lines of code (TR, NA), pp. 2–9.

ICFP-2015-Russo #functional #haskell

Functional pearl: two can keep a secret, if one of them uses Haskell (AR), pp. 280–288.

ICFP-2014-GibbonsW #domain-specific language #functional

Folding domain-specific languages: deep and shallow embeddings (functional Pearl) (JG, NW), pp. 339–347.

ICFP-2014-Pottier #functional

Hindley-milner elaboration in applicative style: functional pearl (FP), pp. 203–212.

IFL-2014-KoopmanPJ #data type #encoding #functional #harmful #implementation

Church Encoding of Data Types Considered Harmful for Implementations: Functional Pearl (PWMK, RP, JMJ), p. 4.

IJCAR-2014-Blanchette0T #induction #logic

Unified Classical Logic Completeness — A Coinductive Pearl (JCB, AP, DT), pp. 46–60.

ICFP-2013-AxelssonC #functional #higher-order #source code #syntax #using

Using circular programs for higher-order syntax: functional pearl (EA, KC), pp. 257–262.

ICFP-2013-Dolan #algebra #functional #linear

Fun with semirings: a functional pearl on the abuse of linear algebra (SD), pp. 101–110.

ICFP-2013-Mairson #functional #geometry

Functional geometry and the Traité de Lutherie: functional pearl (HGM), pp. 123–132.

FLOPS-2012-Bouma #declarative #logic #persistent #realtime

Real-Time Persistent Queues and Deques with Logic Variables (Declarative Pearl) (GB), pp. 62–72.

ICFP-2012-VytiniotisJM #compilation #fault #proving #similarity

Equality proofs and deferred type errors: a compiler pearl (DV, SLPJ, JPM), pp. 341–352.

ICFP-2011-MightDS #functional #parsing

Parsing with derivatives: a functional pearl (MM, DD, DS), pp. 189–195.

ICFP-2011-MuM #functional #morphism #theorem

Generalising and dualising the third list-homomorphism theorem: functional pearl (SCM, AM), pp. 385–391.

ICFP-2011-ShiversT #composition #functional

Modular rollback through control logging: a pair of twin functional pearls (OS, AJT), pp. 58–68.

CSL-2011-MoreNS #axiom #concurrent #independence #semantics

Concurrency Semantics for the Geiger-Paz-Pearl Axioms of Independence (SMM, PN, BS), pp. 443–457.

FLOPS-2010-HoweK #prolog #satisfiability

A Pearl on SAT Solving in Prolog (JMH, AK), pp. 165–174.

ICFP-2010-FischerHW #functional #game studies #regular expression

A play on regular expressions: functional pearl (SF, FH, TW), pp. 357–368.

ICFP-2010-VytiniotisK #functional

Functional pearl: every bit counts (DV, AJK), pp. 15–26.

ICFP-2009-Hinze #functional

Functional Pearl: La Tour D’Hanoï (RH), pp. 3–10.

ICFP-2009-Voigtlander #functional #theorem

Free theorems involving type constructor classes: functional pearl (JV), pp. 173–184.

POPL-2009-Voigtlander #bidirectional #exclamation #for free

Bidirectionalization for free! (Pearl) (JV), pp. 165–176.

FLOPS-2008-Benton #declarative #dynamic typing #type system

Undoing Dynamic Typing (Declarative Pearl) (NB), pp. 224–238.

FLOPS-2008-KiselyovBFS #declarative

Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl) (OK, WEB, DPF, CcS), pp. 64–80.

ICFP-2008-Hinze #fixpoint #functional

Functional pearl: streams and unique fixed points (RH), pp. 189–200.

POPL-2008-McBride #data type

Clowns to the left of me, jokers to the right (pearl): dissecting data structures (CM), pp. 287–295.

POPL-2008-Voigtlander #parallel

Much ado about two (pearl): a pearl on parallel prefix computation (JV), pp. 29–35.

ICFP-2007-Herman #functional #how

Functional pearl: the great escape or, how to jump the border without getting caught (DH), pp. 157–164.

ICFP-2006-Bird #functional

Fifteen years of functional pearls (RSB), p. 215.

ICFP-2005-Cheney #functional

Scrap your nameplate: (functional pearl) (JC), pp. 180–191.

ICFP-2005-KiselyovSFS #backtracking #functional #monad

Backtracking, interleaving, and terminating monad transformers: (functional pearl) (OK, CcS, DPF, AS), pp. 192–203.

ICFP-2002-Ford #functional #lazy evaluation #linear #parsing

Packrat parsing: : simple, powerful, lazy, linear time, functional pearl (BF), pp. 36–47.

ICFP-2000-GapeyevLP #functional #recursion #type system

Recursive subtyping revealed: functional pearl (VG, MYL, BCP), pp. 221–231.

ICFP-2000-JonesES #contract #functional

Composing contracts: an adventure in financial engineering, functional pearl (SLPJ, JME, JS), pp. 280–292.

ICFP-2000-Weirich #functional #type safety

Type-safe cast: functional pearl (SW), pp. 58–67.

DAC-1988-Cherry #named

Pearl: A CMOS Timing Analyzer (JJC), pp. 148–153.

DAC-1986-DeJesusCW #layout #named #power management

PEARL: an expert system for power supply layout (EJD, JPC, CRW), pp. 615–621.

ICSE-1979-Martin

PEARL At the Age of Three (TM), pp. 100–110.