Symposium on Trends in Functional Programming

The Symposium on Trends in Functional Programming (TFP) is focused on research in the field of functional programming and investigating relationships… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

2005-2009
012320052009

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2005
2005
We present a proof rule and an effective tactic for proving properties about HASKELL type classes by proving them for the… (More)
  • figure 1.2
  • table 7.2
  • table 7.3
  • figure 8.3
  • figure 8.4
Is this relevant?