TypeParameter

Known as: Type parameter 
In computer programming languages, TypeParameter is a frequently used generic label used in templates to reference an unknown data type, data… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Legged exoskeletons supplement human intelligence with the strength and endurance of a pair of wearable mechanical legs that… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2013
2013
We present an automated approach to relatively completely verifying safety (i.e., reachability) property of higher-order… (More)
  • figure 10
  • table 1
Is this relevant?
Highly Cited
2010
Highly Cited
2010
Sufficient conditions are given for the stability of linear switched systems with dwell time and with polytopic type parameter… (More)
  • table II
Is this relevant?
2010
2010
This paper presents an integrated direct/indirect adaptive robust contouring controller (DIARC) for an industrial biaxial high… (More)
  • figure 1
  • table 1
  • figure 2
  • table 2
  • table 3
Is this relevant?
2009
2009
We report on our experiences in redesigning Scala’s collection libraries, focussing on the role that type systems play in keeping… (More)
  • figure 1
Is this relevant?
Highly Cited
2007
Highly Cited
2007
A compiler-checked immutability guarantee provides useful documentation, facilitates reasoning, and enables optimizations. This… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 6
  • figure 11
Is this relevant?
2006
2006
Generic types in C behave invariantly with respect to subtyping. We propose a system of type-safe variance for C that supports… (More)
  • figure 6
  • figure 7
  • figure 8
Is this relevant?
2002
2002
In this paper, the modularized adaptive backstepping designs are incorporated into the recently proposed adaptive robust control… (More)
  • figure 1
  • figure 2
Is this relevant?
2002
2002
Firms selling multiple quality-differentiated products frequently alter their product lines when a competitor enters the market… (More)
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
1998
Highly Cited
1998
class Shape f Shape shrink (double pct); g class extends Shape f double s; (double s) f this.s = s ; g boolean containsPt (Point… (More)
Is this relevant?