Ryan Stansifer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
1988–1994
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1994 | ICTAI | Solving Diagramless Crossword Puzzles. | Edward Pershits, Ryan Stansifer |
| 1994 | SAC | Type reconstruction for coercion polymorphism. | Ryan Stansifer, Dan Wetklow |
| 1993 | SAC | Method Reuse in Typed Object-Oriented Languages. | Ryan Stansifer, Dan Wetklow |
| 1991 | COMPSAC | VERT-verification of real-time programs. | Mike Beaven, Brad Elmore, Dan C. Marinescu, Ryan Stansifer |
| 1988 | POPL | Type Inference with Subtypes. | Ryan Stansifer |