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:
program (5)
languag (1)
framework (1)
extend (1)
eas (1)

Stem polytyp$ (all stems)

10 papers:

ASEASE-2005-WardKA #framework #named #proving #theorem proving
Prufrock: a framework for constructing polytypic theorem provers (JW, GK, PA), pp. 423–426.
IFLIFL-2005-WeeldenSP #syntax
Polytypic Syntax Tree Operations (AvW, SS, RP), pp. 142–159.
IFLIFL-2003-NorellJ #haskell #programming
Polytypic Programming in Haskell (UN, PJ), pp. 168–184.
WRLAWRLA-2000-ClavelDM #maude #programming
Polytypic Programming in Maude (MC, FD, NMO), pp. 339–360.
ESOPESOP-1999-JanssonJ #parsing
Polytypic Compact Printing and Parsing (PJ, JJ), pp. 273–287.
FLOPSFLOPS-1999-Hinze #programming
Polytypic Programming With Ease (Extended Abstract) (RH), pp. 21–36.
POPLPOPL-1997-JanssonJ #named #programming language
Polyp — A Polytypic Programming Language (PJ, JJ), pp. 470–482.
AFPAFP-1996-JeuringJ96 #programming
Polytypic Programming (JJ, PJ), pp. 68–114.
PPDPPLILP-1996-Meertens #exclamation
Calculate Polytypically! (LGLTM), pp. 1–16.
FPCAFPCA-1995-Jeuring #pattern matching
Polytypic Pattern Matching (JJ), pp. 238–248.

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.