system f

---

system f

Tag #system f

21 papers:

FSCD-2017-KaiserPS #case study #coq

Relating System F and Lambda2: A Case Study in Coq, Abella and Beluga (JK, BP, GS), p. 19.

IFL-2014-AdsitF #analysis #control flow #performance

An Efficient Type- and Control-Flow Analysis for System F (CA, MF), p. 3.

LICS-CSL-2014-CretinR #constraints

System F with coercion constraints (JC, DR), p. 10.

TLCA-2013-AhnSFP

System F i (KYA, TS, MPF, AMP), pp. 15–30.

IFL-2012-Fluet #analysis #control flow

A Type- and Control-Flow Analysis for System F (MF), pp. 122–139.

ESOP-2012-KrishnaswamiB #equation

Adding Equations to System F Types (NRK, NB), pp. 417–435.

RTA-2010-FujitaS #problem

The Undecidability of Type Related Problems in Type-free Style System F (KeF, AS), pp. 103–118.

LICS-2010-PopescuGO #normalisation

Strong Normalization for System F by HOAS on Top of FOAS (AP, ELG, CJO), pp. 31–40.

LICS-2009-Lataillade

Dinatural Terms in System F (JDL), pp. 267–276.

ICALP-B-2008-Lebresne #call-by #exception

A System F with Call-by-Name Exceptions (SL), pp. 323–335.

ICFP-2007-Leijen

A type directed translation of MLF to system F (DL), pp. 111–122.

CSL-2006-AtassiBT #logic #verification

Verification of Ptime Reducibility for System F Terms Via Dual Light Affine Logic (VA, PB, KT), pp. 150–166.

ICFP-2005-Remy

Simple, partial type-inference for System F based on type-containment (DR), pp. 130–143.

ICFP-2003-BotlanR #ml #named #power of

ML^F: raising ML to the power of system F (DLB, DR), pp. 27–38.

FoSSaCS-2000-Hannay #higher-order #simulation

A Higher-Order Simulation Relation for System F (JEH), pp. 130–145.

CADE-1999-Prost #analysis #formal method

A formalization of Static Analyses in System F (FP), pp. 252–266.

CSL-1999-Hannay #refinement #specification

Specification Refinement with System F (JEH), pp. 530–545.

POPL-1998-MorrisettWCG #assembly

From System F to Typed Assembly Language (JGM, DW, KC, NG), pp. 85–97.

LICS-1997-Hughes #game studies

Games and Definability for System F (DJDH), pp. 76–86.

SAS-1995-Monsuez #abstract interpretation

System F and Abstract Interpretation (BM), pp. 279–295.

TLCA-1993-Altenkirch #formal method #normalisation #proving

A Formalization of the Strong Normalization Proof for System F in LEGO (TA), pp. 13–28.