BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
type (7)
multipl (2)
track (2)
locat (2)
rank (2)

Stem inhabit$ (all stems)

12 papers:

CASECASE-2015-AmriBARF #multi #robust #using
Robust indoor location tracking of multiple inhabitants using only binary sensors (MHA, YB, DA, NR, MF), pp. 194–199.
ICFPICFP-2015-SchererR #question
Which simple types have a unique inhabitant? (GS, DR), pp. 243–255.
CASECASE-2013-DanancherLLF #multi
A Discrete event model for multiple inhabitants location tracking (MD, JJL, LL, GF), pp. 910–915.
ICFPICFP-2011-MorihataM #functional #parallel #programming
Balanced trees inhabiting functional parallel programming (AM, KM), pp. 117–128.
TLCATLCA-2011-BourreauS #game studies #semantics #λ-calculus
Game Semantics and Uniqueness of Type Inhabitance in the Simply-Typed λ-Calculus (PB, SS), pp. 61–75.
TLCATLCA-2009-Urzyczyn #rank
Inhabitation of Low-Rank Intersection Types (PU), pp. 356–370.
HCIHCI-IPT-2007-RashidiYCD #smarttech
Inhabitant Guidance of Smart Environments (PR, GMY, DJC, SKD), pp. 910–919.
TLCATLCA-2007-Kusmierek #problem #rank
The Inhabitation Problem for Rank Two Intersection Types (DK), pp. 240–254.
CSCWCSCW-2006-SchnadelbachPSBKR
Moving office: inhabiting a dynamic building (HS, AP, PS, SB, BK, TR), pp. 313–322.
ITiCSEITiCSE-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.
TLCATLCA-1999-BrodaD
Counting a Type’s Principal Inhabitants (SB, LD), pp. 69–82.
TLCATLCA-1997-Urzyczyn #approach #λ-calculus
Inhabitation in Typed λ-Calculi (A Syntactic Approach) (PU), pp. 373–389.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.