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 Finished
1 Active

2 results

Active

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
Finished

Effectful theories of programming languages: axiomatics
Kammar, O.
Other (Learned Society)
1/10/18 → 31/03/21
Project: Research