|
Results
Found 3 publication records. Showing 3 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 2 | Ik-Soon Kim, Kwangkeun Yi, Cristiano Calcagno |
A polymorphic modal type system for lisp-like multi-staged languages.  |
POPL  |
2006 |
DBLP DOI BibTeX RDF |
let-polymorphism, modal types, multi-staged languages, polymorphic types, quasi-quotation, record type, type systems, lisp, ML, scheme, type inference |
| 1 | Edwin M. Westbrook, Mathias Ricken, Jun Inoue, Yilong Yao, Tamer Abdelatif, Walid Taha |
Mint: Java multi-stage programming using weak separability.  |
PLDI  |
2010 |
DBLP DOI BibTeX RDF |
multi-staged languages, java, type systems, multi-stage programming |
| 1 | Soonho Kong, Wontae Choi, Kwangkeun Yi |
Abstract parsing for two-staged languages with concatenation.  |
GPCE  |
2009 |
DBLP DOI BibTeX RDF |
multi-staged languages, program analysis, abstract interpretation, parsing |
Displaying result #1 - #3 of 3 (100 per page; Change: )
|