Model verification in &lgr;&sgr;

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Model verification in &lgr;&sgr;: a type inference approach

Full text

Pdf (583 KB)

Source

Annual Simulation Symposium archive
Proceedings of the 24th annual symposium on Simulation table of contents

New Orleans, Louisiana, United States

Pages: 283 - 289

Year of Publication: 1991

ISBN:0-8186-2169-9

Also published in ...

Author

Enrique V. Kortright

Center for Advanced Computer Studies, University of Southwestern Louisiana, Lafayette, LA and Department of Computer Science, Nicholls State University, Thibodaux, LA

Sponsor

SIGSIM: ACM Special Interest Group on Simulation and Modeling

Publisher

IEEE Computer Society Press Los Alamitos, CA, USA

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 5, Citation Count: 1

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	H.P. Barendregt. The Lambda Calculus. North- Holland, Amsterdam, 1981.
	2	Luca Cardelli, Basic polymorphic typechecking, Science of Computer Programming, v.8 n.2, p.147-172, April 1, 1987 [doi>10.1016/0167-6423(87)90019-0]
	3	R L Constable, Implementing mathematics with the Nuprl proof development system, Prentice-Hall, Inc., Upper Saddle River, NJ, 1986
	4	Enrique Vicente Kortright, Lambda sigma: a formal method for simulation based on the typed lambda-calculus, University of Southwestern Louisiana, Lafayette, LA, 1991
	5	E. Kortright. Particle simulation in )~cr. Accepted for publication in the Proceedings of the 1991 Summer Computer Simulation Conference, Maltimore, MD, July 1991.
	6	P. Martin-Löf, Constructive mathematics and computer programming, Proc. of a discussion meeting of the Royal Society of London on Mathematical logic and programming languages, p.167-184, June 1985, London, United Kingdom
	7	P. Martin-LSf. Intuitionistic Type Theory. Bibliopolis, Naples, 1984.
	8	R. Milner. A theory of type polymorphism in programming. Journal of Computing Systems Science, 17(3):348-375, December 1978.
	9	A.N. Whitehead. Process and Reality. MacMillan, New York, 1960.