typing again (was: FAQ terminology harmonisation)

Thomas Lindgren thomasl_erlang@REDACTED
Fri Apr 4 10:36:45 CEST 2003

--- "C.Reinke" <C.Reinke@REDACTED> wrote:
>     S. J. Gay, V. Vasconcelos and A. Ravara. Session
> Types for
>     Inter-Process Communication.  Technical report
> TR-2003-133,
>     Department of Computing Science, University of
> Glasgow, March 2003.
>     [idea: just as you can type functions to
> describe their
>       call-return interface, say + :: Int -> Int ->
> Int, you can 
>       try to type processes to describe their
> communication interface, 
>       say plusServer :: ?Int?Int!Int.End for a
> server that receives 
>       two numbers, then returns their sum and
> terminates]

The Ptolemy II people at Berkeley have proposed
"interface automata" as a sort of typing as well. It
sounds somewhat similar. Interesting idea; in one
paper they could type dining philosophers for


Do you Yahoo!?
Yahoo! Tax Center - File online, calculators, forms, and more

More information about the erlang-questions mailing list