HasTEE: Programming Trusted Execution Environments with Haskell.
Abhiroop SarkarRobert KrookAlejandro RussoKoen ClaessenPublished in: CoRR (2023)
Keyphrases
- programming language
- functional programming
- execution model
- functional language
- dynamic environments
- programming environment
- real world
- highly dynamic environments
- neural network
- highly dynamic
- computer programming
- access control
- plan execution
- parallel execution
- plagiarism detection
- code generation
- software engineering
- advanced features
- object oriented