Interactive programming in Agda - Objects and graphical user interfaces.
Andreas AbelStephan AdelsbergerAnton SetzerPublished in: J. Funct. Program. (2017)
Keyphrases
- graphical user interfaces
- scripting language
- user interface
- multiple objects
- software platform
- data sets
- hands on guide
- real world objects
- visual representation
- programming language
- virtual reality
- spatial relations
- object model
- graphical user interface
- visual programming
- computer programming
- object models
- digital objects
- data objects
- user friendly
- software engineering
- multimedia
- neural network