## 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.