535 search results - page 5 / 107 » Do we need dependent types |
134
Voted
ICFP
2010
ACM
15 years 4 months ago
2010
ACM
' abstraction theorem shows how a typing judgement in System F can be translated into a relational statement (in second order predicate logic) about inhabitants of the type. ...
111
Voted
CSCW
2004
ACM
15 years 8 months ago
2004
ACM
Information hiding is one of the most important and influential principles in software engineering. It prescribes that software modules hide implementation details from other modu...
129
Voted
ICFP
2002
ACM
16 years 3 months ago
2002
ACM
Multi-stage programming languages provide a convenient notation for explicitly staging programs. Staging a definitional interpreter for a domain specific language is one way of de...
114
click to vote
CHI
2008
ACM
16 years 3 months ago
2008
ACM
Being mobile influences not only the types of information people seek but also the ways they attempt to access it. Mobile contexts present challenges of changing location and soci...
133
click to vote
EUSAI
2007
Springer
15 years 9 months ago
2007
Springer
This paper examines the communication needs of busy parents that can be served by awareness systems: systems supporting a continuous and semi-automated flow of information about th...