|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 12 occurrences of 11 keywords
|
|
|
|
|
Results
Found 15 publication records. Showing 15 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Lars Birkedal, Kristian Støvring, Jacob Thamsborg |
A relational realizability model for higher-order stateful ADTs.  |
J. Log. Algebr. Program.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre Buisse, Lars Birkedal, Kristian Støvring |
Step-Indexed Kripke Model of Separation Logic for Storable Locks. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lars Birkedal, Bernhard Reus, Jan Schwinghammer, Kristian Støvring, Jacob Thamsborg, Hongseok Yang |
Step-indexed kripke models over recursive worlds. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lars Birkedal, Rasmus Ejlers Møgelberg, Jan Schwinghammer, Kristian Støvring |
First Steps in Synthetic Guarded Domain Theory: Step-Indexing in the Topos of Trees. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Schwinghammer, Lars Birkedal, Kristian Støvring |
A Step-Indexed Kripke Model of Hidden State via Recursive Properties on Recursively Defined Metric Spaces. |
FOSSACS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lars Birkedal, Kristian Støvring, Jacob Thamsborg |
The category-theoretic solution of recursive metric-space equations. |
Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lars Birkedal, Kristian Støvring, Jacob Thamsborg |
Realisability semantics of parametric polymorphism, general references and recursive types. |
Mathematical Structures in Computer Science |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lars Birkedal, Kristian Støvring, Jacob Thamsborg |
Relational parametricity for references and recursive types. |
TLDI |
2009 |
DBLP DOI BibTeX RDF |
general references, impredicative polymorphism, denotational semantics, recursive types, relational parametricity, possible world semantics |
| 1 | Kristian Støvring, Søren B. Lassen |
A Complete, Co-inductive Syntactic Theory of Sequential Control and State. |
Semantics and Algebraic Specification |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Lars Birkedal, Kristian Støvring, Jacob Thamsborg |
Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types. |
FOSSACS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Kristian Støvring, Søren B. Lassen |
A complete, co-inductive syntactic theory of sequential control and state. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
mutable references, continuations, bisimulation |
| 1 | Andrzej Filinski, Kristian Støvring |
Inductive reasoning about effectful data types. |
ICFP |
2007 |
DBLP DOI BibTeX RDF |
abstract effects, streams, monads, backtracking, logical relations, recursive types, equational reasoning |
| 1 | Kristian Støvring |
Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative. |
Logical Methods in Computer Science |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Malgorzata Biernacka, Olivier Danvy, Kristian Støvring |
Program Extraction From Proofs of Weak Head Normalization. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Kristian Støvring |
Higher-Order Beta Matching with Solutions in Long Beta-Eta Normal Form. |
Nord. J. Comput. |
2006 |
DBLP BibTeX RDF |
|
Displaying result #1 - #15 of 15 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")