Tag #in the small
5 papers:
CHI-2014-SheininG #difference #game studies #physics- Exertion in the small: improving differentiation and expressiveness in sports games with physical controls (MS, CG), pp. 1845–1854.
TOOLS-EUROPE-2007-KolovosPPR - Update Transformations in the Small with the Epsilon Wizard Language (DSK, RFP, FP, LMR), pp. 53–69.
CCPSD-1991-Krieg-BrucknerS #dependent type #higher-order #in the large #inheritance #specification- Structuring Specifications in-the-Large and in-the-Small: Higher-Order Functions, Dependent Types and Inheritance in SPECTRAL (BKB, DS), pp. 313–336.
VDME-1990-HaastrupG #correctness- Correctness in the Small (PH, CG), pp. 72–98.
ECOOP-1989-Briot #design #named- Actalk: A Testbed for Classifying and Designing Actor Languages in the Smalltalk-80 Environment (JPB), pp. 109–129.