The execution algorithm of mercury, an efficient purely declarative logic programming language

Garbage collection in an uncooperative environment

Hans‐Juergen Boehm, Mark Weiser · Software Practice and Experience · 1988 · 630 citations

Computing, Computer Engineering, Computer Science +12

Linear Types can Change the World

Philip Wadler · 1990 · 389 citations

Social Sciences, Economics, Globalization +7

SICStus Prolog User''s Manual

Johan Andersson, Stefan Andersson, Kent Boortz et al. · 1993 · 310 citations

Computing, Computer Science, Computer Systems +7

A polymorphic type system for prolog

Alan Mycroft, Richard O’Keefe · Artificial Intelligence · 1984 · 262 citations

Computing, Computer Science, Formal Methods +11

A proposal for standard ML

Robin Milner · 1984 · 255 citations · Full text

Education, Information Systems, Decision Support Systems +4