A Type System to Ensure Non-Interference in ReScript

Benjamin Bennetzen, Daniel Vang Kleist, Emilie Sonne Steinmann +3

Protecting confidential data from leaking is a critical challenge in computer systems, particularly given the growing number of observers on the internet. Therefore, limiting infor…