Projects search

• Keywords: higher-order programming ×

Change search criteria ↓

Search results

3 projects found matching your search criteria:

1. 1. Reasoning about programs in higher-order languages

   Principal investigator: prof. Witold Charatonik

   Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

   Call: OPUS 8, Panel: ST6

2. 2. Efficient higher-order quantum computations

   Principal investigator: dr hab. Michał Grzegorz Studziński

   Uniwersytet Gdański

   Call: SONATA BIS 14, Panel: ST2

3. 3. Scalable reasoning about concurrent imperative programs

   Principal investigator: dr Filip Sieczkowski

   Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

   Call: SONATA 12, Panel: ST6