Projects search

• Keywords: teoria języków programowania ×

Change search criteria ↓

Search results

3 projects found matching your search criteria:

1. 1. Abstract Machines for Programming Languages: Investigations in Formal Interderivations

   Principal investigator: prof. Witold Charatonik

   Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

   Call: OPUS 17, Panel: ST6

2. 2. Algebraic effects: composition and coinduction

   Principal investigator: dr Maciej Adam Piróg

   Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

   Call: SONATA 14, Panel: ST6

3. 3. Concurrency control and fault tolerance for distributed software transactional memory

   Principal investigator: dr hab. Paweł Tomasz Wojciechowski

   Politechnika Poznańska, Wydział Informatyki

   Call: HARMONIA 3, Panel: ST6