Writing an OS Kernel in a Strictly and Statically Typed Language.
Toshiyuki MaedaAkinori YonezawaPublished in: Formal to Practical Security (2009)
Keyphrases
- programming language
- operating system
- lambda calculus
- kernel methods
- kernel function
- language learning
- open source
- concurrent programming
- higher order
- programs written
- feature space
- component analysis
- multiple kernel learning
- mutual subspace method
- data sets
- english language
- modeling language
- virtual machine
- natural language
- support vector
- information systems
- neural network