|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5 occurrences of 5 keywords
|
|
|
|
|
Results
Found 13 publication records. Showing 13 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Hyunik Na, Sukyoung Ryu, Kwangmoo Choe |
Exact type parameterization and ThisType support.  |
TLDI  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Guy L. Steele Jr., Eric E. Allen, David Chase, Christine H. Flood, Victor Luchangco, Jan-Willem Maessen, Sukyoung Ryu |
Fortress (Sun HPCS Language). |
Encyclopedia of Parallel Computing |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jieung Kim, Sukyoung Ryu |
Coq Mechanization of Featherweight Fortress with Multiple Dispatch and Multiple Inheritance. |
CPP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Seonghoon Kang, Sukyoung Ryu |
FortressCheck: automatic testing for generic properties. |
SAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric E. Allen, Justin Hilburn, Scott Kilpatrick, Victor Luchangco, Sukyoung Ryu, David Chase, Guy L. Steele Jr. |
Type checking modular multiple dispatch with parametric polymorphism and multiple inheritance. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | J. J. Hallett, Victor Luchangco, Sukyoung Ryu, Guy L. Steele Jr. |
Integrating coercion with subtyping and multiple dispatch. |
Sci. Comput. Program. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sukyoung Ryu |
Parsing Fortress syntax. |
PPPJ |
2009 |
DBLP DOI BibTeX RDF |
parsing |
| 1 | J. J. Hallett, Victor Luchangco, Sukyoung Ryu, Guy L. Steele Jr. |
Integrating coercion with subtyping and multiple dispatch. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric E. Allen, J. J. Hallett, Victor Luchangco, Sukyoung Ryu, Guy L. Steele Jr. |
Modular multiple dispatch with multiple inheritance. |
SAC |
2007 |
DBLP DOI BibTeX RDF |
modularity, overloading, multiple inheritance, multiple dispatch |
| 1 | Sukyoung Ryu, Norman Ramsey |
Source-Level Debugging for Multiple Languages with Modest Programming Effort. |
CC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Kwangkeun Yi, Sukyoung Ryu |
A cost-effective estimation of uncaught exceptions in Standard ML programs. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Kwangkeun Yi, Sukyoung Ryu |
Towards a Cost-Effective Estimation of Uncaught Exceptions in SML Programs. |
SAS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Kwangkeun Yi, Sukyoung Ryu, Kihyun Pyun |
Estimating Uncaught Exceptions in Standard ML Programs from Type-Based Equations. (PDF / PS) |
COMPSAC |
1996 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #13 of 13 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")