Here's the differentiable stack/queue/deque paper: http://arxiv.org/abs/1506.02516

It is indeed similar to some work from FAIR, where one of the tasks was binary addition: http://arxiv.org/abs/1503.01007