Michael Barr

According to our database, Michael Barr authored at least 20 papers between 1987 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2020

BARR-C: 2018 and MISRA C: 2012: Synergy Between the Two Most Widely Used C Coding Standards.

Roberto Bagnara, Michael Barr, Patricia M. Hill

CoRR, 2020

2014

Review: <i>The Outer Limits of Reason</i>. Noson Yanofsky. MIT Press, Cambridge, MA and London, England, 2013, xiv + 403 pp., ISBN 978-0-262-01935-4, $29.95.

Michael Barr

Am. Math. Mon., 2014

2011

SoundBoom: Breaking App Barriers.

Rachel Gawley, Jonathan Barr, Michael Barr

Proceedings of the Mobile Computing, Applications, and Services, 2011

Native to HTML5: A Real-World Mobile Application Case Study.

Rachel Gawley, Jonathan Barr, Michael Barr

Proceedings of the Mobile Computing, Applications, and Services, 2011

2006

Programming embedded systems - with C and GNU development tools: thinking inside the box: includes real-time and Linux examples (2. ed.).

Michael Barr, Anthony Massa

O'Reilly, ISBN: 978-0-596-00983-0, 2006

2000

Introduction.

Michael Barr, Philip J. Scott, Robert A. G. Seely

Math. Struct. Comput. Sci., 2000

1999

Programming embedded systems in C and C++ - thinking inside the box.

Michael Barr

O'Reilly, ISBN: 978-1-56592-354-6, 1999

1998

A Java Development and Runtime Environment for Reconfigurable Computing.

Don Davis, Michael Barr, Toby Bennett, Stephen Edwards, Jonathan Harris, Ian Miller, Chris Schanck

Proceedings of the Parallel and Distributed Processing, 10 IPPS/SPDP'98 Workshops Held in Conjunction with the 12th International Parallel Processing Symposium and 9th Symposium on Parallel and Distributed Processing, Orlando, Florida, USA, March 30, 1998

1996

Fuzzy Models of Linear Logic.

Michael Barr

Math. Struct. Comput. Sci., 1996

Appendix: Separability of Tensor in Chu Categories of Cector Spaces.

Michael Barr

Math. Struct. Comput. Sci., 1996

Topological spaces and quasi-varieties.

Michael Barr, Maria-Cristina Pedicchio

Appl. Categorical Struct., 1996

1995

Nonsymmetric *-Autonomous Categories.

Michael Barr

Theor. Comput. Sci., 1995

Category theory for computing science (2. ed.).

Michael Barr, Charles Wells

Prentice Hall international series in computer science, Prentice Hall, ISBN: 978-0-13-323809-9, 1995

1994

Additions and Corrections to "Terminal Coalgebras in Well-founded Set Theory".

Michael Barr

Theor. Comput. Sci., 1994

1993

Terminal Coalgebras in Well-Founded Set Theory.

Michael Barr

Theor. Comput. Sci., 1993

1991

*-Autonomous Categories and Linear Logic.

Michael Barr

Math. Struct. Comput. Sci., 1991

HSP Type Theorems in the Category of Posets.

Michael Barr

Proceedings of the Mathematical Foundations of Programming Semantics, 1991

1990

Fixed Points in Cartesian Closed Categories.

Michael Barr

Theor. Comput. Sci., 1990

Category theory for computing science.

Michael Barr, Charles Wells

Prentice Hall International Series in Computer Science, Prentice Hall, ISBN: 978-0-13-120486-7, 1990

1987

The Formal Description of Data Types Using Sketches.

Charles Wells, Michael Barr

Proceedings of the Mathematical Foundations of Programming Language Semantics, 1987