BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
type (16)
system (4)
effici (2)
practic (2)
engin (2)

Stem gradual$ (all stems)

26 papers:

ESOPESOP-2015-SiekVCTG #performance #type system
Monotonic References for Efficient Gradual Typing (JGS, MMV, MC, STH, RG), pp. 432–456.
ECOOPECOOP-2015-TakikawaFDFFTF #towards #type system
Towards Practical Gradual Typing (AT, DF, ED, MF, RBF, STH, MF), pp. 4–27.
OOPSLAOOPSLA-2015-ToroT #polymorphism #scala
Customizable gradual polymorphic effects for Scala (MT, ÉT), pp. 935–953.
POPLPOPL-2015-GarciaC #source code
Principal Type Schemes for Gradual Programs (RG, MC), pp. 303–315.
POPLPOPL-2015-RastogiSFBV #performance #type system #typescript
Safe & Efficient Gradual Typing for TypeScript (AR, NS, CF, GMB, PV), pp. 167–180.
ESOPESOP-2014-ThiemannF #type system
Gradual Typing for Annotated Type Systems (PT, LF), pp. 47–66.
PEPMPEPM-2014-Garcia-PerezNS #λ-calculus
Deriving interpretations of the gradually-typed λ calculus (ÁGP, PN, IS), pp. 157–168.
ICFPICFP-2014-SchwerterGT #formal method
A theory of gradual effect systems (FBS, RG, ÉT), pp. 283–295.
OOPSLAOOPSLA-2014-AllendeFGT #type system
Confined gradual typing (EA, JF, RG, ÉT), pp. 251–270.
POPLPOPL-2014-SwamyFRBCSB #embedded #javascript #type system
Gradual typing embedded securely in JavaScript (NS, CF, AR, KB, JC, PYS, GMB), pp. 425–438.
CSEETCSEET-2012-LiuML #education #re-engineering
The Exploration and Practice of Gradually Industrialization Model in Software Engineering Education — A Factual Instance of the Excellent Engineer Plan of China (SL, PM, DL), pp. 23–31.
Gradual Ownership Types (IS, DC), pp. 579–599.
ICALPICALP-v2-2012-OchelRV #capacity #network #online
Online Packing with Gradually Improving Capacity Estimations and Applications to Network Lifetime Maximization (MO, KR, BV), pp. 648–659.
OOPSLAOOPSLA-2012-TakikawaSDTF #type system
Gradual typing for first-class classes (AT, TSS, CD, STH, MF), pp. 793–810.
POPLPOPL-2012-RastogiCH #type inference
The ins and outs of gradual type inference (AR, AC, BH), pp. 481–494.
ICLPICLP-2012-Hadjichristodoulou #polymorphism #prolog #type system
A Gradual Polymorphic Type System with Subtyping for Prolog (SH), pp. 451–457.
ECOOPECOOP-2011-WolffGTA #type system
Gradual Typestate (RW, RG, ÉT, JA), pp. 459–483.
OOPSLAOOPSLA-2011-InaI #type system
Gradual typing for generics (LI, AI), pp. 609–624.
CHICHI-2009-FindlaterMMD #adaptation #performance
Ephemeral adaptation: the use of gradual onset to improve menu selection performance (LF, KM, JM, JQD), pp. 1655–1664.
CHICHI-2008-BirnholtzGRW #distributed #interactive #named
OpenMessenger: gradual initiation of interaction for distributed workgroups (JPB, CG, GR, MW), pp. 1661–1664.
ECOOPECOOP-2007-SiekT #type system
Gradual Typing for Objects (JGS, WT), pp. 2–27.
SACSAC-2007-ArnautovicKFPS #communication #specification #towards
Gradual transition towards autonomic software systems based on high-level communication specification (EA, HK, JF, RP, AS), pp. 84–89.
ICPRICPR-v3-2002-PeiC #adaptation #fault #novel #predict
Novel Error Concealment Method with Adaptive Prediction to the Abrupt and Gradual Scene Changes (SCP, YZC), pp. 827–830.
CADECADE-2002-SchneckN #approach #scalability
A Gradual Approach to a More Trustworthy, Yet Scalable, Proof-Carrying Code (RRS, GCN), pp. 47–62.
DATEDATE-2001-NicolescuYJ #communication #design #refinement
Mixed-level cosimulation for fine gradual refinement of communication in SoC design (GN, SY, AAJ), pp. 754–759.
ICPRICPR-v2-2000-MizukamiST #prototype #recognition
Handwritten Digit Recognition by Hierarchical Displacement Extraction with Gradual Prototype Elimination (YM, TS, KT), pp. 2339–2342.

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.