Kind, A.A.KindHorst, F.F.Horst2022-03-032022-03-031993https://publica.fraunhofer.de/handle/publica/18340710.1007/BF01025919en004A practical approach to type inference for EuLispjournal article