Representing Constructive Theories in High-Level Programming Languages. - Ryan Stansifer (1985)

Type Inference with Subtypes. - Ryan Stansifer (POPL, 1988)

An integrated software environment for reuse. - Rich DeMillo; Weimin Du; Ryan Stansifer (TRI-Ada, 1988)

A Functional Language with Classes. - Mike Beaven; Ryan Stansifer; Dan Wetklow (Great Lakes Computer Science Conference, 1989)

Using ML as a Command Language. - Steve J. Chapin; Ryan Stansifer (Great Lakes Computer Science Conference, 1989)

Imperative versus Functional. - Ryan Stansifer (ACM SIGPLAN Notices, 1990)

VERT-verification of real-time programs. - Mike Beaven; Brad Elmore; Dan C. Marinescu; Ryan Stansifer (COMPSAC, 1991)

A Parallel Algorithm for Computing Invariants of Petri Net Models. - Dan C. Marinescu; Mike Beaven; Ryan Stansifer (PNPM, 1991)

ML primer. - Ryan Stansifer (Prentice Hall, 1992)

The Calculation of Easter. - Ryan Stansifer (ACM SIGPLAN Notices, 1992)

Method Reuse in Typed Object-Oriented Languages. - Ryan Stansifer; Dan Wetklow (SAC, 1993)

Explaining Type Errors In Polimorphic Languages. - Mike Beaven; Ryan Stansifer (LOPLAS, 1993)

Book Review: Semantics of Programming Languages: Structures and Techniques. By Carl A. Gunter. (MIT Press, 1992. xviii+419pp. ISBN 0-262-07143-6 $37.50). - Ryan Stansifer (SIGACT News, 1993)

Solving Diagramless Crossword Puzzles. - Edward Pershits; Ryan Stansifer (ICTAI, 1994)

Type reconstruction for coercion polymorphism. - Ryan Stansifer; Dan Wetklow (SAC, 1994)

Modeling concurrent programs with colored Petri nets. - Ryan Stansifer; Mike Beaven; Dan C. Marinescu (J. Syst. Softw., 1994)

Inheritance, Generics and Binary Methods in Java. - María Lucía Barrón-Estrada; Ryan Stansifer (Computación y Sistemas, 2003)

Adding polymorphic tuples and lists to the syntax of Java. - Nattawut Sridranop; Ryan Stansifer (ACM Southeast Regional Conference, 2004)

A model of CPS translation and interpretation. - Ramón Zatarain; Ryan Stansifer (ACM Southeast Regional Conference, 2004)

Supporting debates over citizen initiatives. - Kishore Kattamuri; Marius-Calin Silaghi; Cem Kaner; Ryan Stansifer; Markus Zanker (DG.O, 2005)

Polymorphic type inference for the relational algebra in the functional database programming language neon. - Lajos Nagy; Ryan Stansifer (ACM Southeast Regional Conference, 2006)

Higher-order functional programming and wildcards in java. - Nattawut Sridranop; Ryan Stansifer (ACM Southeast Regional Conference, 2007)

"Stacking the Deck" Attack on Software Updates: Solution by Distributed Recommendation of Testers. - Khalid Alhamed; Marius-Calin Silaghi; Ihsan Hussien; Ryan Stansifer; Yi Yang (IAT, 2013)