Robert J. Simmons: Home

Research

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.

New Drafts


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.