HasTEE: Programming Trusted Execution Environments with Haskell.

Abhiroop Sarkar Robert Krook Alejandro Russo Koen Claessen

Published in: Haskell (2023)

Keyphrases

programming language
functional programming
execution model
functional language
highly dynamic environments
dynamic environments
programming environment
general purpose
real world
object oriented programming
neural network
high level
development environment
highly dynamic