Projects search

• Keywords: programming languages ×

Change search criteria ↓

Search results

7 projects found matching your search criteria:

1. 1. Structure and interpretation of programming languages in the "proofs-as-programs" paradigm

   Principal investigator: dr Małgorzata Biernacka

   Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

   Call: OPUS 2, Panel: ST6

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

   Principal investigator: prof. Witold Charatonik

   Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

   Call: OPUS 8, Panel: ST6

3. 3. Intentions and conventions in linguistic communication. A non-Gricean programme in the philosophy of language and cognit…

   Principal investigator: dr hab. Maciej Stanisław Witek

   Uniwersytet Szczeciński, Instytut Filozofii i Kognitywistyki

   Call: OPUS 10, Panel: HS1

4. 4. Programming language for a hierarchical, parallel machine using ManyDSL

   Principal investigator: Piotr Danilewski

   Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

   Call: PRELUDIUM 12, Panel: ST6

5. 5. 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

6. 6. Learner-internal factors in the Erasmus+ mobility context

   Principal investigator: dr hab. Katarzyna Maria Ożańska-Ponikwia

   Akademia Techniczno-Humanistyczna

   Call: OPUS 26, Panel: HS2

7. 7. Algebraic effects: composition and coinduction

   Principal investigator: dr Maciej Adam Piróg

   Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

   Call: SONATA 14, Panel: ST6