BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
system f
Google system f

Tag #system f

21 papers:

FSCDFSCD-2017-KaiserPS #case study #coq
Relating System F and Lambda2: A Case Study in Coq, Abella and Beluga (JK, BP, GS), p. 19.
IFLIFL-2014-AdsitF #analysis #control flow #performance
An Efficient Type- and Control-Flow Analysis for System F (CA, MF), p. 3.
LICSLICS-CSL-2014-CretinR #constraints
System F with coercion constraints (JC, DR), p. 10.
System F i (KYA, TS, MPF, AMP), pp. 15–30.
IFLIFL-2012-Fluet #analysis #control flow
A Type- and Control-Flow Analysis for System F (MF), pp. 122–139.
ESOPESOP-2012-KrishnaswamiB #equation
Adding Equations to System F Types (NRK, NB), pp. 417–435.
RTARTA-2010-FujitaS #problem
The Undecidability of Type Related Problems in Type-free Style System F (KeF, AS), pp. 103–118.
LICSLICS-2010-PopescuGO #normalisation
Strong Normalization for System F by HOAS on Top of FOAS (AP, ELG, CJO), pp. 31–40.
Dinatural Terms in System F (JDL), pp. 267–276.
ICALPICALP-B-2008-Lebresne #call-by #exception
A System F with Call-by-Name Exceptions (SL), pp. 323–335.
A type directed translation of MLF to system F (DL), pp. 111–122.
CSLCSL-2006-AtassiBT #logic #verification
Verification of Ptime Reducibility for System F Terms Via Dual Light Affine Logic (VA, PB, KT), pp. 150–166.
Simple, partial type-inference for System F based on type-containment (DR), pp. 130–143.
ICFPICFP-2003-BotlanR #ml #named #power of
MLF: raising ML to the power of system F (DLB, DR), pp. 27–38.
FoSSaCSFoSSaCS-2000-Hannay #higher-order #simulation
A Higher-Order Simulation Relation for System F (JEH), pp. 130–145.
CADECADE-1999-Prost #analysis #formal method
A formalization of Static Analyses in System F (FP), pp. 252–266.
CSLCSL-1999-Hannay #refinement #specification
Specification Refinement with System F (JEH), pp. 530–545.
POPLPOPL-1998-MorrisettWCG #assembly
From System F to Typed Assembly Language (JGM, DW, KC, NG), pp. 85–97.
LICSLICS-1997-Hughes #game studies
Games and Definability for System F (DJDH), pp. 76–86.
SASSAS-1995-Monsuez #abstract interpretation
System F and Abstract Interpretation (BM), pp. 279–295.
TLCATLCA-1993-Altenkirch #formal method #normalisation #proving
A Formalization of the Strong Normalization Proof for System F in LEGO (TA), pp. 13–28.

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.