Robert J. Simmons: Home


A chronological list of papers sorted into the usual categories can be found below. A couple of recurring themes in my research come with project names, and for some others I've made a page summarizing the topic and linking to some relevant research:

Dissertation: Substructural Logical Specifications

Available here or as a CMU tech report.


Refereed Journal Publications

Refereed Conference Publications

Workshop Papers and Technical Reports

Slides and miscellaneous notes

RFL: Request for Logic

In 2009, partially inspired by Guglielmi's Mismatch and partially just frustrated with LaTeX, I started writing a bunch of Unicode fixed-width notes in Emacs, formatting them lightly in Word, and uploading them blog-style. After RFL #7 I discontinued the series and moved future thoughts to the Request for Logic blog.