general type 0.002622614
parametric type 0.0025542580000000002
semantic type 0.0025099140000000002
same type 0.0025073450000000002
type variables 0.0024412130000000002
type function 0.0023999010000000003
hpsg type 0.002368053
type signature 0.002334791
actual type 0.002318652
type parameters 0.002313402
type system 0.0023099680000000004
type variable 0.002294401
metric type 0.002270527
type signatures 0.0022633590000000004
type hierarchy 0.002261275
implicit type 0.00226042
type arguments 0.002253784
type systems 0.002251611
type assignment 0.0022501490000000003
ric type 0.00223841
vform type 0.0022342710000000003
type compilation 0.0022340750000000003
ural type 0.0022266770000000003
type intro 0.002226599
type operations 0.002222477
type hier 0.002221881
type hierarchies 0.002221881
type hierar 0.002219716
type checking 0.002219467
type signa 0.0022194660000000002
type opera 0.0022187170000000003
other types 0.0015354219999999998
parametric types 0.001482716
parameter types 0.001461933
such case 0.001373726
many types 0.001345676
same feature 0.001279002
simple types 0.001258877
feature appropriateness 0.001217877
such descriptions 0.00121427
feature structure 0.001213916
metric types 0.001198985
model theory 0.001171752
certain types 0.001165041
such macros 0.001139082
feature logic 0.001135643
grammar theory 0.001130732
feature values 0.001080411
feature terms 0.0010727290000000001
feature structures 0.001047128
feature names 0.001041794
feature path 0.001027794
parameter binding 0.001020255
fixed grammar 0.001018631
grammar design 0.001009402
feature paths 0.001004989
cyclic feature 9.90535E-4
acyclic feature 9.90535E-4
feature introduc 9.90535E-4
feature struc 9.90535E-4
incremental feature 9.90535E-4
types 9.58668E-4
parametric variables 9.350510000000001E-4
same structure 8.89184E-4
other encoding 8.863689999999999E-4
description language 8.74465E-4
general method 8.715400000000001E-4
same node 8.5794E-4
parametric signature 8.28629E-4
parametric restrictions 8.189100000000001E-4
model 8.18799E-4
feature 8.01867E-4
general instance 7.98502E-4
general tool 7.92141E-4
appropriateness function 7.85701E-4
general unifier 7.83315E-4
grammar 7.77779E-4
other hand 7.754249999999999E-4
extra set 7.64769E-4
parametric signatures 7.57197E-4
parametric hierarchy 7.551130000000001E-4
different paths 7.524340000000001E-4
finite set 7.493619999999999E-4
same variable 7.41326E-4
different color 7.39934E-4
different kinds 7.39934E-4
parametric polymorphism 7.364940000000001E-4
parametric subtype 7.21033E-4
partial order 7.18883E-4
parametric sig 7.17042E-4
parametric vari 7.160430000000001E-4
new parameters 7.14198E-4
parametric depth 7.139710000000001E-4
parametric hierar 7.13554E-4
parametric ase 7.119720000000001E-4
appropriateness restrictions 7.10872E-4
generator set 7.0829E-4
same effect 7.03787E-4
nth parameter 6.94912E-4
value logic 6.93547E-4
