Login / Signup
OBJ: Programming with Equalities, Subsorts, Overloading and Parameterization.
Jean-Pierre Jouannaud
Claude Kirchner
Hélène Kirchner
Aristide Mégrelis
Published in:
ALP (1988)
Keyphrases
</>
programming language
function symbols
programming environment
machine learning
general purpose
fully functional
database
databases
information systems
multiscale
object oriented programming
computer programming
programming course