System F-sub

In the branch of mathematical logic known as type theory, System F<:, pronounced "F-sub", is an extension of system F with subtyping. System F&lt… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

2005-2014
01220052014

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Scala’s type system unifies aspects of ML modules, object-oriented, and functional programming. The Dependent Object Types (DOT… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 6
Is this relevant?
2015
2015
We present a solution to the PoplMark challenge designed by Aydemir et al., which has as a goal the formalization of the… (More)
Is this relevant?
2014
2014
  • Stefan Berghofer August
  • 2014
We present a solution to the PoplMark challenge designed by Aydemir et al., which has as a goal the formalization of the… (More)
Is this relevant?
2012
2012
This paper presents GMeta: a generic framework for firstorder representations of variable binding that provides once and for all… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2010
2010
This paper presents GMETA: a generic framework for first-order representations of variable binding that provides once and for all… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 6
Is this relevant?
2010
2010
  • Stefan Berghofer July
  • 2010
We present a solution to the PoplMark challenge designed by Aydemir et al., which has as a goal the formalization of the… (More)
Is this relevant?
2009
2009
Bidirectional typechecking has become popular in advanced type systems because it works in many situations where inference is… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 3
  • figure 5
Is this relevant?
2008
2008
  • Joshua Dunfield McGill
  • 2008
Bidirectional typechecking has become a popular technique for advanced type systems. In this paper, I show how to extend past… (More)
  • figure 1
  • figure 3
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
2006
2006
Many representations of term syntax with variable bindings have been used to formalize programming language metatheory, but so… (More)
Is this relevant?
Highly Cited
2005
Highly Cited
2005
How close are we to a world where every paper on programming languages is accompanied by an electronic appendix with… (More)
Is this relevant?