Loading…
Less is more: multiparty session types revisited
Scalas, Alceste, Yoshida, Nobuko
Published in Proceedings of ACM on programming languages (02.01.2019)
Published in Proceedings of ACM on programming languages (02.01.2019)
Get full text
Journal Article
Loading…
Loading…
Bindings as bounded natural functors
Blanchette, Jasmin Christian, Gheri, Lorenzo, Popescu, Andrei, Traytel, Dmitriy
Published in Proceedings of ACM on programming languages (02.01.2019)
Published in Proceedings of ACM on programming languages (02.01.2019)
Get full text
Journal Article
Loading…
Graphical strategies to convey functional relationships in the human brain: a case study
Welsh, Tomihisa, Mueller, Klaus, Zhu, Wei, Volkow, Nora, Meade, Jeffrey
Published in Proceedings of the conference on Visualization '01 (21.10.2001)
Published in Proceedings of the conference on Visualization '01 (21.10.2001)
Get full text
Conference Proceeding
Loading…
Loading…
Loading…
Analysing Student Programs in the PHP Intelligent Tutoring System
Weragama, Dinesha, Reye, Jim
Published in International journal of artificial intelligence in education (01.06.2014)
Published in International journal of artificial intelligence in education (01.06.2014)
Get full text
Journal Article
Loading…
Loading…
Loading…
Loading…
Loading…
Loading…
Loading…
Loading…
Loading…