Sergei Romanenko

Telephone & Addresses

(1 - 4 from 10

–show all

)

Sergei A Romanenko, 52, Ann Arbor, US, Stone Rd

View Sergei's social profiles and photos on Facebook, MySpace, and +40 Networks.

Sergei A Romanenko, 52, Beverly Hills, US, Wilshire Blvd, Unit 123

View Sergei's social profiles and photos on Facebook, MySpace, and +40 Networks.

Sergei A Romanenko, 52, Canyon Country, US, Iron Canyon Rd

View Sergei's social profiles and photos on Facebook, MySpace, and +40 Networks.

Sergei A Romanenko, Los Angeles, US, Arnaz Dr, Apt 221

View Sergei's social profiles and photos on Facebook, MySpace, and +40 Networks.

Interests

cargocollective.com

Sergei is an artist. Creates fun,abstract and emotional portraits. Known for his vibrant colors, energetic lines, distinctive style and expressive watercolors.

Contacts - Sergei Romanenko - Cargo Collectivecargocollective.com/SergeiRomanenko/filter/gig/Contacts

cargocollective.com

Solyanoi st. apt St.Petersburg, Russia + Instagram · Facebook. (167 views). Csisterna Linocuts.

Business Profiles

Sergei Romanenko @ Talent.me

talent.me

Sergei Romanenko. Real Estate Broker at Knight Frank talent.me/Sergei-Romanenko. Professional Experience. Knight Frank Jul Present Real Estate ...

Just a moment...

www.zoominfo.com

Get Sergei Romanenko's full business profile, phone number & email as Principal Developer @ Lab128 | Zoominfo.com

Private Homepages

Sergei Romanenko info - NameINF.me

sergei-romanenko.nameinf.me

Its characters by alphabetic order: R, S, a, e, e, e, g, i, k, m, n, n, o, o, r. Its Soundex Index is S626, and Metaphone value is SRJRMNNK. "Sergei Romanenko" is ...

Sergei A. Romanenko’s GitHub Home Page | sergei-romanenko.github.io

sergei-romanenko.github.io

The sources for the site

HOSC: A Higher-Order Supercompiler in Scala

sergei-romanenko.github.io

2009, June 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 , 2009).

Books & Literature

(1 - 4 from 19

–show all

)

RUSKII VOPROS

www.russkiivopros.com

Russia past and present

Compiler Construction: 5th International Conference, CC '94,...

books.google.de

The International Conference on Compiler Construction provides a forum for presentation and discussion of recent developments in the area of compiler...

Partial Evaluation and Automatic Program Generation - Neil D. Jones,...

books.google.de

Partial evaluation reconciles generality with efficiency by providing automatic specialization and optimization of programs. Proceeding from a gentle...

Peace, Conflict and Identity: Multidisciplinary Approaches to...

books.google.de

The Russian historian Sergei Romanenko explains this through the misconceptions held by Soviet government functionaries (ROMANENKO 2000: 378) which ...

Publications

Proving the Equivalence of Higher-Order Terms by Means of...

link.springer.com

One of the applications of supercompilation is proving properties of programs. We focus in this paper on a specific task: proving term equivalence for a...

The Agda Wiki - Intuitionistic Ramsey Theorem

wiki.portal.chalmers.se

A revised version of David Wahlstedt's Agda formalization (by Sergei Romanenko) can be found here. The purpose of this refactoring is twofold:.

Moscow ML | Article about Moscow ML by The Free Dictionary

encyclopedia2.thefreedictionary.com

Looking for Moscow ML? Find out information about Moscow ML. A light-weight implementation of Standard ML written by Sergei Romanenko of the Keldysh Institute...

Libraries and other developments | The Agda Wiki

wiki.portal.chalmers.se

Staged multi-result supercompilation (a model in Agda), by Sergei Romanenko. DoCon-A, a library for a certain initial part of computer algebra ...

Video & Audio

sergei romanenko - YouTube

www.youtube.com

Яндекс

Sergei Romanenko - YouTube

www.youtube.com

Favorites - Playlist. 46:59. Жизненные циклы / Life Cycles. 1:02. Nike - Addiction. 2:04:48. Radiohead For Haiti - January 24, Complete Show · View full ...

Reports & Statements

(1 - 4 from 8

–show all

)

Virus of Arab revolutions eats Balkans from within

freerepublic.com

"The population of Croatia does have the cause for discontent," Sergei Romanenko,

viewer | Oracle Scratchpad

jonathanlewis.wordpress.com

I've been trying to find a way to post an executable for several weeks because I've been sent a simple viewer for trace files written by Hans-Peter Sloot...

Meet Sergei Romanenko — Sktchy

www.sktchy.com

May 30, · Meet Sergei Romanenko. S ergei will be sharing drawing tips and demo videos with Sktchy subscribers starting Monday, June 4. Learn more. What's your background? I am from St. Petersburg, Russia, and I lived for some time in Montreux, Switzerland, where I was studying, and in Aspen, Colorado, for work. Now I have moved to Batumi, which is a ...

19 | April | | Voices from Russia

02varvara.wordpress.com

4 posts published by 01varvara on April 19, 2008

Miscellaneous

(1 - 20 from 54

–show all

)

	Moscow Ann arbor Beverly hills Canyon country Daly city Los angeles Santa monica Torrance

	Mathematics Scala Keldysh Institute Applied Mathematics Institute of Applied Russian Academy Academy of Sciences David

Sergei Romanenko Free People Check

Images of Sergei Romanenko

News

Interests

Business Profiles

Private Homepages

Publications

Video & Audio