176 search results - page 5 / 36 » Types for Units-of-Measure: Theory and Practice |
POPL
2008
ACM
14 years 7 months ago
2008
ACM
Communication is becoming one of the central elements in software development. As a potential typed foundation for structured communication-centred programming, session types have...
JITECH
2008
13 years 7 months ago
2008
: The use of information technology (IT) in organizations has undergone dramatic changes the past 30 years. As a result, it has become increasingly common to adopt a services rathe...
ICFP
2008
ACM
14 years 7 months ago
2008
ACM
HMF is a conservative extension of Hindley-Milner type inference with first-class polymorphism. In contrast to other proposals, HML uses regular System F types and has a simple ty...
ITP
2010
13 years 9 months ago
2010
We present a new formalization of the algebraic hierarchy in Coq, exploiting its new type class mechanism to make practical a solution formerly thought infeasible. Our approach add...
HICSS
2007
IEEE
14 years 1 months ago
2007
IEEE
This paper takes as its starting point the paradox of process and care in a mental health setting. On the one hand, a number of ‘care pathways’ can be defined and employed, to...