|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 12 occurrences of 9 keywords
|
|
|
|
|
Results
Found 18 publication records. Showing 18 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Sebastian Burckhardt, Daan Leijen, Manuel Fähndrich, Mooly Sagiv |
Eventually Consistent Transactions.  |
ESOP  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikhil Swamy, Nataliya Guts, Daan Leijen, Michael Hicks |
Lightweight monadic programming in ML. |
ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Burckhardt, Daan Leijen, Caitlin Sadowski, Jaeheon Yi, Thomas Ball |
Two for the price of one: a model for parallel and incremental computation. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Daan Leijen, Manuel Fähndrich, Sebastian Burckhardt |
Prettier concurrency: purely functional concurrent revisions. |
Haskell |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Burckhardt, Daan Leijen |
Semantics of Concurrent Revisions. |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Burckhardt, Alexandro Baldassin, Daan Leijen |
Concurrent programming with revisions and isolation types. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Daan Leijen |
Flexible types: robust type inference for first-class polymorphism. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
first-class polymorphism, system f, mlf |
| 1 | Daan Leijen, Wolfram Schulte, Sebastian Burckhardt |
The design of a task parallel library. |
OOPSLA |
2009 |
DBLP DOI BibTeX RDF |
duplicating queue, parallelism, domain specific languages, work stealing |
| 1 | Daan Leijen |
HMF: simple type inference for first-class polymorphism. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
first-class polymorphism, type inference |
| 1 | Daan Leijen |
A type directed translation of MLF to system F. |
ICFP |
2007 |
DBLP DOI BibTeX RDF |
first-class polymorphism, system F, MLF |
| 1 | Daan Leijen, Andres Löh |
Qualified types for MLF. |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
higher-rank polymorphism, impredicativity, qualified types, MLF |
| 1 | Daan Leijen |
Extensible records with scoped labels. |
Trends in Functional Programming |
2005 |
DBLP BibTeX RDF |
|
| 1 | Daan Leijen (eds.) |
Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2005, Tallinn, Estonia, September 30, 2005 |
Haskell |
2005 |
DBLP BibTeX RDF |
|
| 1 | Erik Meijer, Daan Leijen, James Hook |
Client-Side Web Scripting with HaskellScript. |
PADL |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Sigbjorn Finne, Daan Leijen, Erik Meijer, Simon L. Peyton Jones |
Calling Hell From Heaven and Heaven From Hell. |
ICFP |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Daan Leijen, Erik Meijer |
Domain specific embedded compilers. |
DSL |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Sigbjorn Finne, Daan Leijen, Erik Meijer, Simon L. Peyton Jones |
H/Direct: A Binary Foreign Language Interface for Haskell. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
Haskell, IDL |
| 1 | Daan Leijen, Erik Meijer, James Hook |
Haskell as an Automation Controller. |
Advanced Functional Programming |
1998 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #18 of 18 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")