|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 14 occurrences of 8 keywords
|
|
|
|
|
Results
Found 16 publication records. Showing 16 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Brent A. Yorgey, Stephanie Weirich, Julien Cretin, Simon L. Peyton Jones, Dimitrios Vytiniotis, José Pedro Magalhães |
Giving Haskell a promotion.  |
TLDI  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitrios Vytiniotis, Simon L. Peyton Jones, Tom Schrijvers, Martin Sulzmann |
OutsideIn(X) Modular type inference with local assumptions. |
J. Funct. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephanie Weirich, Dimitrios Vytiniotis, Simon L. Peyton Jones, Steve Zdancewic |
Generative type abstraction and type-level computation. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Maximilian C. Bolingbroke, Simon L. Peyton Jones, Dimitrios Vytiniotis |
Termination combinators forever. |
Haskell |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitrios Vytiniotis, Stephanie Weirich |
Parametricity, type equality, and higher-order polymorphism. |
J. Funct. Program. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitrios Vytiniotis, Andrew Kennedy |
Functional pearl: every bit counts. |
ICFP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitrios Vytiniotis, Simon L. Peyton Jones, Tom Schrijvers |
Let should not be generalized. |
TLDI |
2010 |
DBLP DOI BibTeX RDF |
type families, haskell, type inference, type classes, generalized algebraic data types |
| 1 | Tom Schrijvers, Simon L. Peyton Jones, Martin Sulzmann, Dimitrios Vytiniotis |
Complete and decidable type inference for GADTs. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
Haskell, type inference, GADTs |
| 1 | Dimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones |
FPH: first-class polymorphism for Haskell. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
higher-rank types, impredicativity, type inference |
| 1 | Dimitrios Vytiniotis, Stephanie Weirich |
Free Theorems and Runtime Type Representations. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Mark Shields |
Practical type inference for arbitrary-rank types. |
J. Funct. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | J. Nathan Foster, Dimitrios Vytiniotis |
A Theory of Featherweight Java in Isabelle/HOL. |
Archive of Formal Proofs |
2006 |
DBLP BibTeX RDF |
|
| 1 | Simon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Geoffrey Washburn |
Simple unification-based type inference for GADTs. |
ICFP |
2006 |
DBLP DOI BibTeX RDF |
type inference, generalized algebraic data types |
| 1 | Dimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones |
Boxy types: inference for higher-rank types and impredicativity. |
ICFP |
2006 |
DBLP DOI BibTeX RDF |
higher-rank types, impredicativity, type inference |
| 1 | Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich |
An open and shut typecase. |
TLDI |
2005 |
DBLP DOI BibTeX RDF |
intensional type analysis, generativity, reflexivity, ad-hoc polymorphism |
| 1 | Brian E. Aydemir, Aaron Bohannon, Matthew Fairbairn, J. Nathan Foster, Benjamin C. Pierce, Peter Sewell, Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich, Steve Zdancewic |
Mechanized Metatheory for the Masses: The PoplMark Challenge. |
TPHOLs |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #16 of 16 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")