Research group

Programming Languages and Tools Lab

About Projects Publications Schools

Projects

Brahma.FSharp

S. Grigorev, E. Verbitskaia, R. Azimov and others

Context-Free Path Querying: Algorithms and Applications

D. Berezun, S. Grigorev

Partial evaluation for GPGPU programming

Secondary structure analyzer

S. Grigorev, E. Verbitskaia, R. Azimov and others

YaccConstructor