### 12 papers:

- CASE-2015-AmriBARF #multi #robust #using
- Robust indoor location tracking of multiple inhabitants using only binary sensors (MHA, YB, DA, NR, MF), pp. 194–199.
- ICFP-2015-SchererR #question
- Which simple types have a unique inhabitant? (GS, DR), pp. 243–255.
- CASE-2013-DanancherLLF #multi
- A Discrete event model for multiple inhabitants location tracking (MD, JJL, LL, GF), pp. 910–915.
- ICFP-2011-MorihataM #functional #parallel #programming
- Balanced trees inhabiting functional parallel programming (AM, KM), pp. 117–128.
- TLCA-2011-BourreauS #game studies #semantics #λ-calculus
- Game Semantics and Uniqueness of Type Inhabitance in the Simply-Typed λ-Calculus (PB, SS), pp. 61–75.
- TLCA-2009-Urzyczyn #rank
- Inhabitation of Low-Rank Intersection Types (PU), pp. 356–370.
- HCI-IPT-2007-RashidiYCD #smarttech
- Inhabitant Guidance of Smart Environments (PR, GMY, DJC, SKD), pp. 910–919.
- TLCA-2007-Kusmierek #problem #rank
- The Inhabitation Problem for Rank Two Intersection Types (DK), pp. 240–254.
- CSCW-2006-SchnadelbachPSBKR
- Moving office: inhabiting a dynamic building (HS, AP, PS, SB, BK, TR), pp. 313–322.
- ITiCSE-2005-SilvestrePCCCC #framework #generative
- A platform for the generation of virtual environments inhabited by intelligent virtual humans (MS, MPA, MBC, APC, JDC, HC), p. 402.
- TLCA-1999-BrodaD
- Counting a Type’s Principal Inhabitants (SB, LD), pp. 69–82.
- TLCA-1997-Urzyczyn #approach #λ-calculus
- Inhabitation in Typed λ-Calculi (A Syntactic Approach) (PU), pp. 373–389.