- G. Cousineau and Gérard Huet, The CAML primer. Technical Report RT-0122, INRIA, September 1990, https://hal.inria.fr/inria-00070045/file/RT-0122.pdf
- Michael Gordon and Robin Milner and Christopher Wadsworth. Edinburgh LCF, Vol. 78 of LNCS. 1979. http://www.springer.com/gp/book/9783540097242
- Pierre Weis, Maria Virginia Aponte, Alain Laville, Michele Mauny, and Ascander Suarez. The CAML reference manual. Research Report RT-0121, INRIA, 1990. Project Formel https://hal.inria.fr/inria-00070046/file/RT-0121.pdf
Last active
March 31, 2018 21:47
-
-
Save leque/629b7eb972a6fa216a86654a34a9c7e9 to your computer and use it in GitHub Desktop.
CAML考古学参考文献
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment