すごそう "domain-specific language for implementing type systems, based on an actor model (caveat emptor) of concurrent execution. Each region of source code is processed by an actor, implementing a typing judgement with a clearly specified interaction protocol."
すごそう "domain-specific language for implementing type systems, based on an actor model (caveat emptor) of concurrent execution. Each region of source code is processed by an actor, implementing a typing judgement with a clearly specified interaction protocol."
このブックマークにはスターがありません。
最初のスターをつけてみよう！
GitHub - msp-strath/TypOS: being an operating system for typechecking processes
1 人がブックマーク・1 件のコメント
＼ コメントが サクサク読める アプリです ／