  Symmetric Monoidal Categories (SMCs) are pervasive algebraic structures. SMCs
have in particular many applications as a computational model. It is known that
every linear functions correspond to morphisms in a SMC. In this paper, we
leverage this correspondence as follows. We provide a method to evaluate linear
functions to their own representation as a morphism in a SMC. This method
relies on standard evaluation in a functional language: no special support from
the compiler is required. We believe that this method is well-suited as a basis
for embedding domain specific languages whose computational model can be framed
as an instance of a SMC.
