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:
analysi (9)
bind (5)
time (5)
higher (5)
type (5)

Stem polyvari$ (all stems)

16 papers:

PEPMPEPM-2015-VerstoepH #analysis #functional #higher-order #strict
Polyvariant Cardinality Analysis for Non-strict Higher-order Functional Languages: Brief Announcement (HV, JH), pp. 139–142.
ICFPICFP-2010-HoldermansH #analysis #higher-order #polymorphism
Polyvariant flow analysis with higher-ranked polymorphic types and higher-order effect operators (SH, JH), pp. 63–74.
LOPSTRLOPSTR-2008-ArroyoRTV #approach #functional #higher-order #source code
A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs (GA, JGR, ST, GV), pp. 40–54.
LOPSTRLOPSTR-2005-OchoaPH #prolog #source code
Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs (CO, GP, MVH), pp. 80–97.
ESOPESOP-2000-AmtoftT #polymorphism
Faithful Translations between Polyvariant Flows and Polymorphic Types (TA, FAT), pp. 26–40.
ESOPESOP-2000-SmithW #analysis
Polyvariant Flow Analysis with Constrained Types (SFS, TW), pp. 382–396.
ESOPESOP-1998-BruynoogheLS #analysis #deduction
A Polyvariant Binding-Time Analysis for Off-line Partial Deduction (MB, ML, KFS), pp. 27–41.
From Polyvariant Flow Information to Intersection and Union Types (JP, CP), pp. 197–208.
ICFPICFP-1997-Banerjee #analysis #composition #type system
A Modular, Polyvariant, and Type-Based Closure Analysis (AB), pp. 1–10.
Polyvariant Constructor Specialisation (DD, EB, KDV), pp. 54–65.
PEPMPEPM-1995-MalmkjaerO #higher-order
Polyvariant Specialisation for Higher-Order, Block-Structured Languages (KM, ), pp. 66–76.
ICLPICLP-1995-MartensG #deduction #flexibility #termination
Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance (BM, JPG), pp. 597–611.
PEPMPEPM-1993-Bulyonkov #analysis
Extracting Polyvariant Binding Time Analysis from Polyvariant Specializer (MAB), pp. 59–65.
PEPMPEPM-1993-Consel #analysis
Polyvariant Binding-Time Analysis For Applicative Languages (CC), pp. 66–77.
PEPMPEPM-1992-RytzG #analysis
A Polyvariant Binding Time Analysis (BR, MG), pp. 21–28.
SASWSA-1992-GenglerR #analysis
A Polyvariant Binding Time Analysis Handling Partially Known Values (MG, MR), pp. 322–330.

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.