This article presents an original and critical interrogation of how disabled activists establish claims coordinate activities to progress the independent living agenda. The achieves this by employing Beckett Campbell’s (2015) concept ‘oppositional device’, which is used understand resistance practices technologies power that coalesce around people’s collective action. argues could, similarly, b...

Independence -- the study of what is relevant to a given problem of reasoning -- has received an increasing attention from the AI community. In this paper, we consider two basic forms of independence, namely, a syntactic one and a semantic one. We show features and drawbacks of them. In particular, while the syntactic form of independence is computationally easy to check, there are cases in whi...

Gradually typed languages allow programmers to mix statically and dynamically code, enabling them incrementally reap the benefits of static typing as they add type annotations their code. However, this migration process is typically a manual effort with limited tool support. This paper examines problem automated migration: given dynamic program, infer additional or improved annotations. Existin...