Lins published the best-seller "Garbage Collection: Algorithms for Dynamic Memory Management", (John Wiley & Sons , UK, 1996) translated into Chinese (Mandarin) and published by ChinaPub in 2004. His pioneering contributions encompass the creation of the Lambda-Calculus with explicit substitutions, the first general and efficient solution to cyclic reference counting in sequential, parallel and distributed architectures. Lins is the pioneer researcher in document engineering and digital libraries in Latin America. In this area, he was the first to address the problem of back-to-front interference (bleeding) in documents. He is also one of the pioneer researchers in NLP for the Portuguese language.