Skip to content

A Polymorphic Functional Language Applied to Symbolic Computation.

Stphane Dalmas

VenueBISSAC
Year1992
ProceedingsISSAC

Browse the full ISSAC paper archive.