Search alternatives:
typed programming » based programming (Expand search), mixed programming (Expand search), cpld programming (Expand search)
python python » pythons python (Expand search), piton python (Expand search), pitons python (Expand search)
manim python » monty python (Expand search), api python (Expand search)
coder coder » coder decoder (Expand search), code code (Expand search), decoder codec (Expand search)
coder to » code to (Expand search), codes to (Expand search), codec to (Expand search)
to typed » to type (Expand search), to types (Expand search), two types (Expand search)
typed programming » based programming (Expand search), mixed programming (Expand search), cpld programming (Expand search)
python python » pythons python (Expand search), piton python (Expand search), pitons python (Expand search)
manim python » monty python (Expand search), api python (Expand search)
coder coder » coder decoder (Expand search), code code (Expand search), decoder codec (Expand search)
coder to » code to (Expand search), codes to (Expand search), codec to (Expand search)
to typed » to type (Expand search), to types (Expand search), two types (Expand search)
1
2
3
4
5
6
7
8
“...Motivated by the need to formalize generation of fast running code for linear algebra applications...”
Access document
Access document
9
10
“... asynchronous typed version of the $\pi$-calculus and translate it into MIL code that is then linked to a run...”
Access document
Access document
Report
11
“...Currently, Java is one of the most used programming language, being adopted in many large projects...”
Access document (1)
Access document (2)
Access document (1)
Access document (2)
Article
12
13
14
15
16
17
18
Subjects:
“...[en] PROGRAMMING LANGUAGES...”
Access document (1)
Access document (2)
Access document (3)
Access document (1)
Access document (2)
Access document (3)
Doctoral thesis
19
“...Type inference is a feature that is common to a variety of programming languages. While, in the...”
Access document
Access document
Doctoral thesis
20