Sciweavers

12 search results - page 3 / 3
» Introduction to the talking points project
Sort
View
AFP
2004
Springer
105views Formal Methods» more  AFP 2004»
14 years 25 days 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 12 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...