Sciweavers

12 search results - page 3 / 3
» Introduction to the talking points project
Sort
View
AFP
2004
Springer
105views Formal Methods» more  AFP 2004»
13 years 10 months ago
Epigram: Practical Programming with Dependent Types
Abstraction and application, tupling and projection: these provide the ‘software engineering’ superstructure for programs, and our familiar type systems ensure that these opera...
Conor McBride
CIA
2001
Springer
13 years 9 months ago
Improving Communication in 3D Virtual Environments by Means of Task Delegation in Agents
User-to-User Communication within Internet-based 3D Virtual Environments is usually difficult mainly due to the trade-off between the capability and the complexity of the interface...
Ricardo Imbert, Angélica de Antonio, Javier...