|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 11 occurrences of 11 keywords
|
|
|
Results
Found 4 publication records. Showing 4 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
85 | 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 |
23 | Jason Eckhardt, Roumen Kaiabachev, Emir Pasalic, Kedar N. Swadi, Walid Taha |
Implicitly Heterogeneous Multi-Stage Programming. |
New Gener. Comput. |
2007 |
DBLP DOI BibTeX RDF |
Functional Programming, Multi-Stage Programming |
23 | Jason Eckhardt, Roumen Kaiabachev, Emir Pasalic, Kedar N. Swadi, Walid Taha |
Implicitly Heterogeneous Multi-stage Programming. |
GPCE |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Morten Rhiger |
Compiling Embedded Programs to Byte Code. |
PADL |
2002 |
DBLP DOI BibTeX RDF |
domain-specific language, Just-in-time compilation, embedded language, OCaml |
Displaying result #1 - #4 of 4 (100 per page; Change: )
|
|