|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 40 publication records. Showing 40 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Alan Jeffrey |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOOTS ![In: 4th International Workshop on Higher Order Operational Techniques in Semantics, HOOTS 2000, Satellite to PLI 2000, Montreal, Canada, September 22, 2000, pp. 89, 2000, Elsevier. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Simon Helsen, Peter Thiemann 0001 |
Syntactic Type Soundness for the Region Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOOTS ![In: 4th International Workshop on Higher Order Operational Techniques in Semantics, HOOTS 2000, Satellite to PLI 2000, Montreal, Canada, September 22, 2000, pp. 1-19, 2000, Elsevier. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Virga |
Efficient Substitution in Hoare Logic Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOOTS ![In: 4th International Workshop on Higher Order Operational Techniques in Semantics, HOOTS 2000, Satellite to PLI 2000, Montreal, Canada, September 22, 2000, pp. 35-49, 2000, Elsevier. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Michael Baldamus |
First-order Semantics for Higher-order Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOOTS ![In: 4th International Workshop on Higher Order Operational Techniques in Semantics, HOOTS 2000, Satellite to PLI 2000, Montreal, Canada, September 22, 2000, pp. 50-69, 2000, Elsevier. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Gavin M. Bierman, Andrew M. Pitts, Claudio V. Russo |
Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOOTS ![In: 4th International Workshop on Higher Order Operational Techniques in Semantics, HOOTS 2000, Satellite to PLI 2000, Montreal, Canada, September 22, 2000, pp. 70-88, 2000, Elsevier. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Yasuhiko Minamide |
A New Criterion for Safe Program Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOOTS ![In: 4th International Workshop on Higher Order Operational Techniques in Semantics, HOOTS 2000, Satellite to PLI 2000, Montreal, Canada, September 22, 2000, pp. 20-34, 2000, Elsevier. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Alan Jeffrey (eds.) |
4th International Workshop on Higher Order Operational Techniques in Semantics, HOOTS 2000, Satellite to PLI 2000, Montreal, Canada, September 22, 2000 ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOOTS ![Elsevier The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Andrew Moran, Søren B. Lassen, Simon L. Peyton Jones |
Imprecise Exceptions, Co-Inductively. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOOTS ![In: Third Workshop on Higher-Order Operational Techniques in Semantics, HOOTS 1999, Paris, France, September 30 - October 1, 1999, pp. 122-141, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Andrew D. Gordon 0001, Andrew M. Pitts |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOOTS ![In: Third Workshop on Higher-Order Operational Techniques in Semantics, HOOTS 1999, Paris, France, September 30 - October 1, 1999, pp. 1-2, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Yasuhiko Minamide |
Space-Profiling Semantics of the Call-by-Value Lambda Calculus and the CPS Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOOTS ![In: Third Workshop on Higher-Order Operational Techniques in Semantics, HOOTS 1999, Paris, France, September 30 - October 1, 1999, pp. 105-120, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Jörgen Gustavsson, David Sands 0001 |
A Foundation for Space-Safe Transformations of Call-by-Need Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOOTS ![In: Third Workshop on Higher-Order Operational Techniques in Semantics, HOOTS 1999, Paris, France, September 30 - October 1, 1999, pp. 69-86, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Danvy, Belmina Dzafic, Frank Pfenning |
On proving syntactic properties of CPS programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOOTS ![In: Third Workshop on Higher-Order Operational Techniques in Semantics, HOOTS 1999, Paris, France, September 30 - October 1, 1999, pp. 21-33, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | John Howard Eli Fiskio-Lasseter, Amr Sabry |
Putting Operational Techniques to the Test: A Syntactic Theory for Behavioral Verilog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOOTS ![In: Third Workshop on Higher-Order Operational Techniques in Semantics, HOOTS 1999, Paris, France, September 30 - October 1, 1999, pp. 34-51, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Eugenio Moggi, Fabrizio Palumbo |
Monadic Encapsulation of Effects: a Revised Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOOTS ![In: Third Workshop on Higher-Order Operational Techniques in Semantics, HOOTS 1999, Paris, France, September 30 - October 1, 1999, pp. 121, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Nick Benton, Andrew Kennedy |
Monads, Effects and Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOOTS ![In: Third Workshop on Higher-Order Operational Techniques in Semantics, HOOTS 1999, Paris, France, September 30 - October 1, 1999, pp. 3-20, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Neal Glew |
Object Closure Conversion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOOTS ![In: Third Workshop on Higher-Order Operational Techniques in Semantics, HOOTS 1999, Paris, France, September 30 - October 1, 1999, pp. 52-68, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Pankaj Kakkar, Michael W. Hicks, Jonathan T. Moore, Carl A. Gunter |
Specifying the PLAN Network Programming Langauge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOOTS ![In: Third Workshop on Higher-Order Operational Techniques in Semantics, HOOTS 1999, Paris, France, September 30 - October 1, 1999, pp. 87-104, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Andrew D. Gordon 0001, Andrew M. Pitts (eds.) |
Third Workshop on Higher-Order Operational Techniques in Semantics, HOOTS 1999, Paris, France, September 30 - October 1, 1999 ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOOTS ![Elsevier The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Luca Cardelli, Andrew D. Gordon 0001 |
Mobile Ambients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOOTS ![In: Second Workshop on Higher-Order Operational Techniques in Semantics, HOOTS 1997, Stanford, CA, USA, December 8-12, 1997, pp. 198-201, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Martín Abadi, Cédric Fournet, Georges Gonthier |
Secure Implementation of Channel Abstractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOOTS ![In: Second Workshop on Higher-Order Operational Techniques in Semantics, HOOTS 1997, Stanford, CA, USA, December 8-12, 1997, pp. 202-203, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Husain Ibraheem, David A. Schmidt |
Adapting Big-Step Semantics to Small-Step Style: Coinductive Interpretations and "Higher-Order" Derivations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOOTS ![In: Second Workshop on Higher-Order Operational Techniques in Semantics, HOOTS 1997, Stanford, CA, USA, December 8-12, 1997, pp. 121, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Philippa Gardner |
A Type-theoretic Description of Action Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOOTS ![In: Second Workshop on Higher-Order Operational Techniques in Semantics, HOOTS 1997, Stanford, CA, USA, December 8-12, 1997, pp. 52, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Laurent Dami |
Operational Subsumption, an Ideal Model of Subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOOTS ![In: Second Workshop on Higher-Order Operational Techniques in Semantics, HOOTS 1997, Stanford, CA, USA, December 8-12, 1997, pp. 28-49, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Andrew D. Gordon 0001, Andrew M. Pitts, Carolyn L. Talcott |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOOTS ![In: Second Workshop on Higher-Order Operational Techniques in Semantics, HOOTS 1997, Stanford, CA, USA, December 8-12, 1997, pp. 1, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Allen Stoughton |
An Operational Semantics Framework Supporting the Incremental Construction of Derivation Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOOTS ![In: Second Workshop on Higher-Order Operational Techniques in Semantics, HOOTS 1997, Stanford, CA, USA, December 8-12, 1997, pp. 122-133, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Flemming Nielson, Hanne Riis Nielson |
Flow Logic and Operational Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOOTS ![In: Second Workshop on Higher-Order Operational Techniques in Semantics, HOOTS 1997, Stanford, CA, USA, December 8-12, 1997, pp. 150-169, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Zena M. Ariola, Amr Sabry |
Correctness of Monadic State: An Imperative Call-by-Need Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOOTS ![In: Second Workshop on Higher-Order Operational Techniques in Semantics, HOOTS 1997, Stanford, CA, USA, December 8-12, 1997, pp. 53, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Flatt, Matthias Felleisen |
Program Units as Higher-Order Modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOOTS ![In: Second Workshop on Higher-Order Operational Techniques in Semantics, HOOTS 1997, Stanford, CA, USA, December 8-12, 1997, pp. 204-229, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Alan Jeffrey |
Premonoidal categories and flow graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOOTS ![In: Second Workshop on Higher-Order Operational Techniques in Semantics, HOOTS 1997, Stanford, CA, USA, December 8-12, 1997, pp. 51, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Glynn Winskel |
An Operational Understanding of Bisimulation from Open Maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOOTS ![In: Second Workshop on Higher-Order Operational Techniques in Semantics, HOOTS 1997, Stanford, CA, USA, December 8-12, 1997, pp. 50, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Barthe, John Hatcliff, Peter Thiemann 0001 |
Monadic Type Systems: Pure Type Systems for Impure Settings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOOTS ![In: Second Workshop on Higher-Order Operational Techniques in Semantics, HOOTS 1997, Stanford, CA, USA, December 8-12, 1997, pp. 54-120, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Scott F. Smith |
Specification Diagrams for Actor Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOOTS ![In: Second Workshop on Higher-Order Operational Techniques in Semantics, HOOTS 1997, Stanford, CA, USA, December 8-12, 1997, pp. 197, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Ugo Montanari, Marco Pistore |
An Introduction to History Dependent Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOOTS ![In: Second Workshop on Higher-Order Operational Techniques in Semantics, HOOTS 1997, Stanford, CA, USA, December 8-12, 1997, pp. 170-188, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Ugo Montanari, Carolyn L. Talcott |
Can Actors and pi-Agents Live Together? ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOOTS ![In: Second Workshop on Higher-Order Operational Techniques in Semantics, HOOTS 1997, Stanford, CA, USA, December 8-12, 1997, pp. 189-196, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Dave Sands |
Computing with Contexts: A simple approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOOTS ![In: Second Workshop on Higher-Order Operational Techniques in Semantics, HOOTS 1997, Stanford, CA, USA, December 8-12, 1997, pp. 134-149, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Søren B. Lassen, Corin Pitcher |
Similarity and Bisimilarity for Countable Non-Determinism and Higher-Order Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOOTS ![In: Second Workshop on Higher-Order Operational Techniques in Semantics, HOOTS 1997, Stanford, CA, USA, December 8-12, 1997, pp. 246-266, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | J. Gregory Morrisett, Robert Harper 0001 |
Typed Closure Conversion for Recursively-Defined Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOOTS ![In: Second Workshop on Higher-Order Operational Techniques in Semantics, HOOTS 1997, Stanford, CA, USA, December 8-12, 1997, pp. 230-241, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Stephen N. Freund, John C. Mitchell |
A Type System For Object Initialization In the Java Bytecode Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOOTS ![In: Second Workshop on Higher-Order Operational Techniques in Semantics, HOOTS 1997, Stanford, CA, USA, December 8-12, 1997, pp. 242-245, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Andrew M. Pitts |
Parametric Polymorphism and Operational Equivalence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOOTS ![In: Second Workshop on Higher-Order Operational Techniques in Semantics, HOOTS 1997, Stanford, CA, USA, December 8-12, 1997, pp. 2-27, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Andrew D. Gordon 0001, Andrew M. Pitts, Carolyn L. Talcott (eds.) |
Second Workshop on Higher-Order Operational Techniques in Semantics, HOOTS 1997, Stanford, CA, USA, December 8-12, 1997 ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOOTS ![Elsevier The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
Displaying result #1 - #40 of 40 (100 per page; Change: )
|
|