Typestate reflects how the legal operations on imperative objects can change at runtime as their internal state changes. A typestate checker can statically ensure, for instance, that an object method is only called when the object is in a state for which the operation is welldefined. Prior work has shown how modular typestate checking can be achieved thanks to access permissions and state guara...

Over the past 20 years, programmers have embraced dynamically-typed programming languages. By now, they have also come to realize that programs in these languages lack reliable type information for software engineering purposes. Gradual typing addresses this problem; it empowers programmers to annotate an existing system with sound type information on a piecemeal basis. This paper presents an i...

What is the impact of surprise and anticipated policy changes when agents form expectations using adaptive learning rather than rational expectations? We examine this issue using the standard stochastic real business cycle model with lump-sum taxes. Agents combine knowledge about future policy with econometric forecasts of future wages and interest rates. Both permanent and temporary policy cha...

This paper shows that in online auctions like eBay, if bidders can only place bids at random times, then many different equilibria arise besides truthful bidding, despite the option to leave proxy bids. These equilibria can involve gradual bidding, periods of inactivity, and waiting to start bidding towards the end of the auction bidding behaviors common on eBay. Bidders in such equilibria impl...

in this paper, the gradual real numbers are considered and the notion of the gradual normed linear space is given. also some topological properties of such spaces are studied, and it is shown that the gradual normed linear space is a locally convex space, in classical sense. so the results in locally convex spaces can be translated in gradual normed linear spaces. finally, we give an examp...

da is a memory of iraqi war against iran. this narration of war is a representation of young girl life that had a significant role in her own time. this book challenges masculinity of war and passes out gender as a limitation. the important narration of war, mentioned in da, has been associated with 150 republication and these elements confirm research on da. this article tries to attempts to a...