3273 search results - page 35 / 655 » types 2007 |
ENTCS
2007
14 years 11 months ago
2007
Abstract. Increasing attention is being paid to the development of socalled behavioural types as a means to formally address the problem of ensuring the correct interoperation of s...
JOT
2007
14 years 11 months ago
2007
Programs designed from scratch often start with just a set of classes. Classes can be instantiated and so deliver the objects that are the carriers of information and function. In...
HICSS
2007
IEEE
15 years 3 months ago
2007
IEEE
act Transcript Notation for Analyzing Interactional Construction of Meaning in Online Learning Daniel Suthers, Nathan Dwyer, Ravi Vatrapu, and Richard Medina CL 3 Saturday 1:00
103
click to vote
TPHOL
2007
IEEE
15 years 6 months ago
2007
IEEE
We propose a method to extract purely functional contents from logical inductive types in the context of the Calculus of Inductive Constructions. This method is based on a mode con...
FOAL
2007
ACM
15 years 3 months ago
2007
ACM
We consider the problem of adding aspects to a strongly typed language which supports type classes. We show that type classes as supported by the Glasgow Haskell Compiler can mode...