Adding generic functions to Scheme

We present an approach to the generation of generic functions from user-provided specifications. The specifications consist of the type of a generic function, examples of instances that it should "match" when specialized, and properties that the generic ...

The problem of designing explicit bent and plateaued functions has been researched for several decades. However, finding new bent functions outside the well-known completed Maiorana-McFarland class <inline-formula> <tex-math notation="LaTeX">$\mathcal {M}^...

Developing a branching scheme that is compatible with the column generation procedure can be challenging. Application specific and generic schemes have been proposed in the literature, but they have their drawbacks. One generic scheme is to implement ...