Ohad Kammar – Projects — University of Edinburgh Research Explorer

View Scopus Profile

If you made any changes in Pure these will be visible here soon.

1 Active
2 Finished

3 results

Active
Effectful theories of programming languages: mathematically structured programming
Kammar, O.
Other (Learned Society)
1/12/21 → 31/12/23
Project: Research
Finished

Type-driven data-science infrastructure for Idris2
Kammar, O.
UK central government bodies/local authorities, health and hospital authorities
1/04/21 → 28/02/22
Project: Research
Effectful theories of programming languages: axiomatics
Kammar, O.
Other (Learned Society)
1/10/18 → 31/03/21
Project: Research