International Conference on Functional Programming

Known as: Conference on Functional Programming Languages and Computer Architecture, ICFP, Functional Programming Languages and Computer Architecture 
The ACM SIGPLAN International Conference on Functional Programming (ICFP) is an annual academic conference in the field of computer science sponsored… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1981-2017
010203019812017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Given a semantic constraint specified by a logical formula, and syntactic constraints specified by a context-free grammar, the… (More)
  • table 1
  • table 2
  • figure 2
  • figure 5
  • table 3
Is this relevant?
2012
2012
In this paper, we address the problem of dimension reduction for sequentially observed functional data (X k : k ∈ Z). Such… (More)
  • figure 1
  • table 2
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2011
Highly Cited
2011
The linearly constrained matrix rank minimization problem is widely applicable in many fields such as control, signal processing… (More)
  • table 2
  • table 3
  • table 4
  • table 5
  • table 6
Is this relevant?
2009
2009
Functional principal component analysis (FPCA) based on the Karhunen–Loève decomposition has been successfully applied in many… (More)
  • figure 1
  • table 1
  • table 2
  • table 3
  • figure 2
Is this relevant?
2009
2009
We consider a problem of significant practical importance, namely, the reconstruction of a low-rank data matrix from a small… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 3
  • figure 5
Is this relevant?
2009
2009
This paper proposes a method for the identification of individuals from their gait using fuzzy logic. Gait signature is first… (More)
  • figure 1
  • figure 2
  • figure 3
  • table I
  • figure 4
Is this relevant?
Highly Cited
2004
Highly Cited
2004
We propose nonparametric methods for functional linear regression which are designed for sparse longitudinal data, where both the… (More)
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2004
2004
Fuzzy objective function-based clustering methods are proved to be fast tools for classification and segmentation purposes… (More)
  • figure 1
  • figure 3
  • figure 2
Is this relevant?
1995
1995
A number of useful optimisations are enabled if we can determine when a value is accessed at most once. We extend the Hindley… (More)
Is this relevant?
1995
1995
We study a minimal extension of the Hindley/Milner system that supports overloading and polymorphic records. We show that the… (More)
  • figure 1
  • figure 2
Is this relevant?