Library

Published 3 days ago
Sergey_ Gavrov_Historical_ evolution_ of_ the_ institutions_ of_ marriage_ and_ family
Sergey Gavrov. Сергей Назипович Гавров, Sergey Nazipovich Gavrov, dr. of sc. /philosophy/, Professor of sociology and social anthropology.
Published 6 days ago
Arity raiser and its use in program specialization
S. A. Romanenko, S. A. Romanenko. Arity Raiser and its Use in Program Specialization. In Proceedings of the Third European Symposium on Programming on ESOP '90 (Copenhagen, Denmark). N. Jones, Ed. Springer-Verlag New York, New York, NY, 341-360..
A Compiler Generator Produced by a Self-Applicable Specializer Can Have a Surprisingly Natural and Understandable Structure
Sergei A. Romanenko, S.A.Romanenko. A Compiler Generator Produced by a Self-Applicable Specializer Can Have a Surprisingly Natural and Understandable Structure. In D.Bjorner, A.P.Ershov and N.D.Jones, editors, Partial Evaluation and Mixed Computation, pages 445-463, North-Holland, 1988..
Published 1 week ago
Proving the Equivalence of Higher-Order Terms by Means of Supercompilation
Ilya Klyuchnikov, Sergei Romanenko, Ilya Klyuchnikov and Sergei Romanenko. Proving the Equivalence of Higher-Order Terms by Means of Supercompilation. In: Perspectives of Systems Informatics (Proceedings of Seventh International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009). Novosibirsk: A.P.....
Published 1 week ago
Published 2 weeks ago