Keyphrases
- functional programming
- open university
- international workshop
- distance learning
- hong kong
- lecture notes
- lecture notes in artificial intelligence
- higher education
- international conference
- computer science
- undergraduate and graduate
- university level
- e learning
- programming language
- functional language
- execution model
- quantifier elimination
- united kingdom
- engineering education
- academic institutions
- object oriented programming
- international symposium
- blended learning
- educational environment
- computer science education
- teaching methods
- artificial intelligence
- databases
- computer personnel research group
- knowledge discovery and data mining
- general purpose
- integrity constraints
- logic programming
- information systems
- database