|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4 occurrences of 4 keywords
|
|
|
|
|
Results
Found 14 publication records. Showing 14 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Sam Lindley, James Cheney |
Row-based effect types for database integration.  |
TLDI  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sam Lindley, Philip Wadler, Jeremy Yallop |
Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Buneman, James Cheney, Sam Lindley, Heiko Müller |
The database Wiki project: a general-purpose platform for data curation and collaboration. |
SIGMOD Record |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Buneman, James Cheney, Sam Lindley, Heiko Müller |
DBWiki: a structured wiki for curated data and collaborative data management. |
SIGMOD Conference |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sam Lindley, Philip Wadler, Jeremy Yallop |
The arrow calculus. |
J. Funct. Program. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sam Lindley, Philip Wadler |
The Audacity of Hope: Thoughts on Reclaiming the Database Dream. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Atkey, Sam Lindley, Jeremy Yallop |
Unembedding domain-specific languages. |
Haskell |
2009 |
DBLP DOI BibTeX RDF |
unembedding, domain-specific languages, higher-order abstract syntax, type classes |
| 1 | Sam Lindley |
Many holes in hindley-milner. |
ML |
2008 |
DBLP DOI BibTeX RDF |
indexed type, multi-holed context, phantom type, value restriction, dependent type |
| 1 | Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Yallop |
The Essence of Form Abstraction. |
APLAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sam Lindley |
Extensional Rewriting with Sums. |
TLCA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sam Lindley |
Implementing deterministic declarative concurrency using sieves. |
DAMP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Yallop |
Links: Web Programming Without Tiers. |
FMCO |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sam Lindley, Ian Stark |
Reducibility and TT-Lifting for Computation Types. |
TLCA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Nick Benton, Andrew Kennedy, Sam Lindley, Claudio V. Russo |
Shrinking Reductions in SML.NET. |
IFL |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #14 of 14 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")