Search Results - (( coder coder typed linear programming ) OR ( in python pythin python programming ))

Search alternatives:
python pythin » python python (Expand search), pythons python (Expand search), piton python (Expand search)
pythin python » python python (Expand search), pythons python (Expand search), piton python (Expand search)
typed linear » mixed linear (Expand search), based linear (Expand search)
coder coder » coder decoder (Expand search), code code (Expand search), decoder codec (Expand search)
coder typed » cover types (Expand search), cover type (Expand search), code type (Expand search)
in python » _ python (Expand search)

1

Matrices as arrows! A biproduct approach to typed linear algebra

by Oliveira, José Nuno Fonseca

Published 2010

Subjects: “...Linear algebra...”
Access document

2

Making Session Types Go

by Geraldo, João Miguel Pereira do Cano Rico

Published 2022

“... features standard functional programming features combined with channel-based, session-typed, concurrency...”
Access document

Master thesis

Export CSV Export RIS