Function object

Known as: Function objects, Functionoid, Function 
A function object is a computer programming construct allowing an object to be invoked or called as if it were an ordinary function, usually with the… (More)
Wikipedia

Related topics

Related topics

50 relations
AdaC++C++ Standard LibraryC++11
(More)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
Automatic Verification of Advanced Object-Oriented Features: The AutoProof Approach
Static program verifiers such as Spec#, Dafny, jStar, and VeriFast define the state of the art in automated functional… (More)
  • figure 3
  • figure 4
  • figure 5
  • figure 6
  • table 1
Is this relevant?
2010
2010
Reasoning about Function Objects
Modern object-oriented languages support higher-order implementations through function objects such as delegates in C#, agents in… (More)
  • figure 2
Is this relevant?
2009
2009
Right Modules over Operads and Functors
  • BENOIT FRESSE
  • 2009
In the theory of operads we consider generalized symmetric power functors defined by sums of coinvariant modules. One observes… (More)
Is this relevant?
2007
2007
Designing a Generic Graph Library Using ML Functors
This paper details the design and implementation of OCAMLGRAPH, a highly generic graph library for the programming language OCAML… (More)
  • figure 1.1
  • figure 1.3
  • figure 1.4
  • figure 1.5
Is this relevant?
2007
2007
A Higher-order Module Discipline with Separate Compilation, Dynamic Linking, and Pickling
We present a higher-order module discipline with separate compilation nd concurrent dynamic linking. Based on first-order modules… (More)
Is this relevant?
2000
2000
AN EXPRESSION TEMPLATE AWARE LAMBDA FUNCTION
Template libraries such as the STL contain several generic algorithms that expect functions as arguments and thereby cause a… (More)
Is this relevant?
1999
1999
PURE INJECTIVES AND THE SPECTRUM OF THE COHOMOLOGY RING OF A FINITE GROUP DAVID BENSON AND HENNING KRAUSE
Let G be a finite group and k be a field of characteristic p. The connection between the modular representations and the… (More)
Is this relevant?
1999
1999
A categorification of the Temperley-Lieb algebra and Schur quotients of U(sl2) via projective and Zuckerman functors
2.1. U̇(sl2) and its representations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 204 2.1.1. Algebra U… (More)
Is this relevant?
1997
1997
Function objects, function templates, and passage by behavior in C++
Passing functions and function objects to general purpose routines is a powerful abstraction mechanism that should be taught in… (More)
Is this relevant?
1995
1995
A formal foundation for concurrent object oriented programming
In this thesis we develop a novel implicitly typed calculus for objects by viewing these as extendible case functions rather than… (More)
  • figure 5.6
Is this relevant?