Skip to Main content Skip to Navigation
Conference papers

Tiered complexity at higher order

Emmanuel Hainry 1 Bruce Kapron 2 Jean-Yves Marion 3 Romain Péchoux 1
1 MOCQUA - Designing the Future of Computational Models
Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
3 CARBONE - Carbone
LORIA - FM - Department of Formal Methods
Abstract : A characterization of the class of Basic Feasible Functionals (BFF) is provided in terms of typable and terminating imperative programs with oracles. The type system is a tier-based type system and type inference can be done in polynomial time.
Complete list of metadatas

Cited literature [4 references]  Display  Hide  Download

https://hal.inria.fr/hal-02499318
Contributor : Romain Péchoux <>
Submitted on : Friday, March 6, 2020 - 11:41:10 AM
Last modification on : Tuesday, May 5, 2020 - 5:02:15 PM
Long-term archiving on: : Sunday, June 7, 2020 - 1:42:30 PM

File

paper 9.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02499318, version 1

Collections

Citation

Emmanuel Hainry, Bruce Kapron, Jean-Yves Marion, Romain Péchoux. Tiered complexity at higher order. DICE-FOPARA 2019 - Joint international workshop on Developments in Implicit Computational complExity and Foundational and Practical Aspects of Resource Analysis, Apr 2019, Praha, Czech Republic. ⟨hal-02499318⟩

Share

Metrics

Record views

34

Files downloads

150