phlalx / dream-types Public

Notifications You must be signed in to change notification settings
Fork 0
Star 1

Typechecking for message passing components

1 star 0 forks Branches Tags Activity

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
test		test
Makefile		Makefile
README.md		README.md
error.ml		error.ml
error.mli		error.mli
ktype.ml		ktype.ml
ktype.mli		ktype.mli
lexer.mll		lexer.mll
main.ml		main.ml
parser.mly		parser.mly
sorts.ml		sorts.ml
sorts.mli		sorts.mli
typecheck.ml		typecheck.ml
typecheck.mli		typecheck.mli

Repository files navigation

dream-types

This is an implementation of the type system proposed in Dream Types - A Domain Specific Type System for Component-Based Message-Oriented Middleware. SAVCBS'05.