Ryan Stansifer

28 papers A* 1B 2Misc 2Journal 10Unranked 10
YearRankTypeTitle / Venue / Authors
2015 — ed.
Proceedings of the Principles and Practices of Programming on The Java Platform, PPPJ 2015, Melbourne, FL, USA, September 8-11, 2015
PPPJ
Ryan Stansifer, Andreas Krall
2013 — conf
"Stacking the Deck" Attack on Software Updates: Solution by Distributed Recommendation of Testers.
IAT
Khalid Alhamed, Marius-Calin Silaghi, Ihsan Hussien, Ryan Stansifer, Yi Yang
2007 — conf
Higher-order functional programming and wildcards in java.
ACM Southeast Regional Conference
Nattawut Sridranop, Ryan Stansifer
2006 — conf
Polymorphic type inference for the relational algebra in the functional database programming language neon.
ACM Southeast Regional Conference
Lajos Nagy, Ryan Stansifer
2005 — conf
Supporting debates over citizen initiatives.
DG.O
Kishore Kattamuri, Marius-Calin Silaghi, Cem Kaner, Ryan Stansifer, Markus Zanker
2004 — conf
A model of CPS translation and interpretation.
ACM Southeast Regional Conference
Ramón Zatarain, Ryan Stansifer
2004 — conf
Adding polymorphic tuples and lists to the syntax of Java.
ACM Southeast Regional Conference
Nattawut Sridranop, Ryan Stansifer
2004 J jnl
Implementing a CPS Compiler for Functional Languages with Zero Overhead Exception Handling.
Res. Comput. Sci.
María Lucía Barrón-Estrada, Ramón Zataraín-Cabada, Ryan Stansifer
2004 J jnl
MOOL: An Object-Oriented Language with Generics and Modules.
Res. Comput. Sci.
María Lucía Barrón-Estrada, Ramón Zataraín-Cabada, Ryan Stansifer
2004 J jnl
Prepare Yourself...The Tiger Hill Be Unleashed Soon.
Res. Comput. Sci.
María Lucía Barrón-Estrada, Ramón Zataraín-Cabada, Ryan Stansifer
2003 J jnl
Inheritance, Generics and Binary Methods in Java.
Computación y Sistemas
María Lucía Barrón-Estrada, Ryan Stansifer
2003 J jnl
Inheritance, Generics, and Binary Methods in Java.
Res. Comput. Sci.
María Lucía Barrón-Estrada, Ryan Stansifer
1994 J jnl
Modeling concurrent programs with colored Petri nets.
J. Syst. Softw.
Ryan Stansifer, Mike Beaven, Dan C. Marinescu
1994 B conf
Solving Diagramless Crossword Puzzles.
ICTAI
Edward Pershits, Ryan Stansifer
1994 Misc conf
Type reconstruction for coercion polymorphism.
SAC
Ryan Stansifer, Dan Wetklow
1993 J jnl
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).
SIGACT News
Ryan Stansifer
1993 J jnl
Explaining Type Errors In Polimorphic Languages.
LOPLAS
Mike Beaven, Ryan Stansifer
1993 Misc conf
Method Reuse in Typed Object-Oriented Languages.
SAC
Ryan Stansifer, Dan Wetklow
1992 — book
ML primer.
Ryan Stansifer
1992 J jnl
The Calculation of Easter.
ACM SIGPLAN Notices
Ryan Stansifer
1991 — conf
A Parallel Algorithm for Computing Invariants of Petri Net Models.
PNPM
Dan C. Marinescu, Mike Beaven, Ryan Stansifer
1991 B conf
VERT-verification of real-time programs.
COMPSAC
Mike Beaven, Brad Elmore, Dan C. Marinescu, Ryan Stansifer
1990 J jnl
Imperative versus Functional.
ACM SIGPLAN Notices
Ryan Stansifer
1989 — conf
A Functional Language with Classes.
Great Lakes Computer Science Conference
Mike Beaven, Ryan Stansifer, Dan Wetklow
1989 — conf
Using ML as a Command Language.
Great Lakes Computer Science Conference
Steve J. Chapin, Ryan Stansifer
1988 — conf
An integrated software environment for reuse.
TRI-Ada
Rich DeMillo, Weimin Du, Ryan Stansifer
1988 A* conf
Type Inference with Subtypes.
POPL
Ryan Stansifer
1985 — —
Representing Constructive Theories in High-Level Programming Languages.
Ryan Stansifer