Search Results

[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE] Agent-based model Consumption Income classes Luxury good Preference formation [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL] [INFO.INFO-TS]Computer Science [cs]/Signal and Image Processing [SPI.SIGNAL]Engineering Sciences [physics]/Signal and Image processing Response time Dynamic adaptation Internalized context awareness Rule composition Extensible parameter adaptation [INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing [INFO.INFO-MA]Computer Science [cs]/Multiagent Systems [cs.MA] [INFO.INFO-MC]Computer Science [cs]/Mobile Computing [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation [QFIN]Quantitative Finance [q-fin] 2012 ACM Subject Classification Theory of computation → Lambda calculus Application Composition Denotational semantics Dependent types FPT Locally irregular Refiner Subtyping Theory of computation → Proof theory Keywords and phrases Intersection types Type checker Union types User Interface Composition W-hardness [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM] [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]