Projects search

• Keywords: funkcyjne języki programowania ×

Change search criteria ↓

Search results

2 projects found matching your search criteria:

1. 1. Algebraic effects: composition and coinduction

   Principal investigator: dr Maciej Adam Piróg

   Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

   Call: SONATA 14, Panel: ST6

2. 2. Asymptotic methods in lambda calculus and combinatory logic

   Principal investigator: prof. Marek Zaionc

   Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

   Call: OPUS 6, Panel: ST6