Concepedia

Author

MATTHEW GOTO

DePaul University

Also Known As

MATTHEW GOTO

1

Publications

20

Citations

1

H-Index

10

Concepts

All Affiliations

DePaul University
MG

About

MATTHEW GOTO is an author at DePaul University specializing in system software, program analysis, and engineering.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

20

2

Computer Science

1

1

20

3

Software Analysis

1

1

20

4

Automated Reasoning

1

1

20

5

Formal Methods

1

1

20

MATTHEW GOTO

×

1

Publications

20

Citations

1

H-Index

YearCitations

An extensible approach to session polymorphism

MATTHEW GOTO, Radha Jagadeesan, Alan Jeffrey,

Mathematical Structures in Computer Science

2015

20

Page 1