Contributors to SML/NJ


Stephen Adams
William Aitken
Peter Bertelsen
Nikolaj Bjorner
Bruce F. Duba
Adam T. Dingle
Doug Currie
Soren Christiansen
Kenneth Cline
Pierre Cregut
Damien Doligez
Scott Draves
Georges Gonthier
Florent Guillaume
Yngvi Guttesen
Ivan Hajadi
Trevor Jim
Andrew Kennedy
Mark Leone
Mark Lillibridge
James S. Mattson
Greg Morrisett
George Necula
Dino Oliva
James W. O'Toole
Mikael Pettersson
Norman Ramsey
Gene Rollins
Nick Rothwell
Peter Sestoft
Konrad Slind
Walid Taha
David R. Tarditi
Mads Tofte
Andrew P. Tolmach
Daniel Wang
Peter Weinberger
Thomas Yan

| SML/NJ Home Page |

Send your comments to sml-nj@research.bell-labs.com
Copyright © 1996, Lucent Technologies; Bell Laboratories.
Click to toggle
does not end with </html> tag
does not end with </body> tag
The output has ended thus: ="http://www.lucent.com/">Lucent Technologies; Bell Laboratories</A>. <BR> </FONT> </BODY> </HTML>