Brian T. Howard

Affiliations:

DePauw University, Greencastle, IN, USA
Kansas State University, Manhattan, KS, USA (former)
Stanford University, CA, USA (PhD 1992)

According to our database¹, Brian T. Howard authored at least 7 papers between 1990 and 2023.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2023

Emotion-Aware Music Recommendation.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2015

Leveraging synergy between database and programming language courses.

[BibT_eX]

[DOI]

Brian T. Howard

J. Comput. Sci. Coll., 2015

2006

Design of a simple functional programming language and environment for CS2.

[BibT_eX]

[DOI]

Brian T. Howard

J. Comput. Sci. Coll., 2006

2002

Fully Automatic Adaptation of Software Components Based on Semantic Specifications.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 2002

1996

Inductive, Coinductive, and Pointed Types.

[BibT_eX]

[DOI]

Brian T. Howard

Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming, 1996

1992

Fixed points and extensionality in typed functional programming languages.

[BibT_eX]

[DOI]

Brian T. Howard

PhD thesis, 1992

1990

Operational and Axiomatic Semantics of PCF.

[BibT_eX]

[DOI]

Brian T. Howard

John C. Mitchell

Proceedings of the 1990 ACM Conference on LISP and Functional Programming, 1990

Brian T. Howard

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...