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:
model (3)
theoret (2)
domain (2)
abstract (2)
polymorph (2)

Stem fpc$ (all stems)

4 papers:

ICALPICALP-v2-2006-Mogelberg #formal method #modelling #morphism #parametricity #polymorphism
Interpreting Polymorphic FPC into Domain Theoretic Models of Parametric Polymorphism (REM), pp. 372–383.
TLCATLCA-2003-Laird #domain model
A Fully Abstract Bidomain Model of Unary FPC (JL), pp. 211–225.
LICSLICS-1996-McCusker #abstraction #game studies
Games and Full Abstraction for FPC (GM), pp. 174–183.
LICSLICS-1994-FioreP #axiom #formal method #modelling
An Axiomatization of Computationally Adequate Domain Theoretic Models of FPC (MPF, GDP), pp. 92–102.

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.