Stem polytyp$ (all stems)

10 papers:

ASE-2005-WardKA #framework #named #proving #theorem proving

Prufrock: a framework for constructing polytypic theorem provers (JW, GK, PA), pp. 423–426.

IFL-2005-WeeldenSP #syntax

Polytypic Syntax Tree Operations (AvW, SS, RP), pp. 142–159.

IFL-2003-NorellJ #haskell #programming

Polytypic Programming in Haskell (UN, PJ), pp. 168–184.

WRLA-2000-ClavelDM #maude #programming

Polytypic Programming in Maude (MC, FD, NMO), pp. 339–360.

ESOP-1999-JanssonJ #parsing

Polytypic Compact Printing and Parsing (PJ, JJ), pp. 273–287.

FLOPS-1999-Hinze #programming

Polytypic Programming With Ease (Extended Abstract) (RH), pp. 21–36.

POPL-1997-JanssonJ #named #programming language

Polyp — A Polytypic Programming Language (PJ, JJ), pp. 470–482.

AFP-1996-JeuringJ96 #programming

Polytypic Programming (JJ, PJ), pp. 68–114.

PLILP-1996-Meertens #exclamation

Calculate Polytypically! (LGLTM), pp. 1–16.

FPCA-1995-Jeuring #pattern matching

Polytypic Pattern Matching (JJ), pp. 238–248.