Value-Dependent Session Design in a Dependently Typed Language.
Jan de Muijnck-HughesEdwin C. BradyWim VanderbauwhedePublished in: PLACES@ETAPS (2019)
Keyphrases
- software architecture
- case study
- higher order
- modeling language
- information retrieval
- neural network
- natural language
- java programming
- optimal design
- conceptual model
- highly modular
- lambda calculus
- design principles
- language learning
- human computer interaction
- evolutionary algorithm
- user interface
- relational databases
- knowledge base