


%L Aasa88
%K patterns olit binder(patterns)
%A Annika Aasa
%A Kent Petersson
%A Dan Synek
%T Concrete Syntax for Data Objects in Functional Languages
%B Proceedings of the 1988 ACM Conference on Lisp
   and Functional Programming
%C Snowbird, Utah
%D 1988
%P 96-105


%L Abad90a
%K misc lambda fp binder (shelf)
%A Martin Abadi
%A Luca Cardelli
%A Pierre-Louis Curien
%A Jean-Jacques L\'evy
%T Explicit Substitutions
%R Technical Report 54
%I DEC Systems Research Center
%C Palo Alto, California
%D Feb. 6, 1990


%L Abad90b
%K temporal-logic tla binder (shelf)
%A Martin Abadi
%T An Axiomatization of Lamport's Temporal Logic of Actions
%R Technical Report 65
%I DEC Systems Research Center
%C Palo Alto, California
%D Oct. 1990




