A Language for Specifying Type Contracts in Erlang and its Interaction with Success Typings

Unknown

Language: English

Paper Software Development