Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "MFPS"( http://dblp.L3S.de/Venues/MFPS )

URL (DBLP): http://dblp.uni-trier.de/db/conf/mfps

Publication years (Num. hits)
1986-1987 (33) 1988-1991 (28) 1992-1993 (32) 1994-1995 (31) 1997 (28) 1999 (29) 2001 (26) 2003 (17) 2005 (29) 2006 (22) 2007 (22) 2008 (23) 2009 (25) 2010 (27) 2011 (19) 2012 (23) 2013 (24) 2014 (18) 2015 (25) 2016 (20) 2018 (37) 2019 (17) 2020 (15) 2021 (19) 2022 (19) 2023 (21)
Publication types (Num. hits)
inproceedings(600) proceedings(29)
Venues (Conferences, Journals, ...)
MFPS(629)
Authors
Michael W. Mislove(34) Stephen D. Brookes(21) Bart Jacobs 0001(17) John Power(17) Achim Jung(16) Alexandra Silva 0001(12) Prakash Panangaden(10) Sam Staton(10) Austin Melton(9) J. Robin B. Cockett(9) Lars Birkedal(9) Paul Blain Levy(9) David A. Schmidt(7) Gordon D. Plotkin(7) Martín Hötzel Escardó(7) Michael G. Main(7) More (+10 of total 660)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 19 occurrences of 19 keywords
Results
Found 629 publication records. Showing 629 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Kim B. Bruce, Jon G. Riecke The Semantics of Miranda's Algebraic Types. Search on Bibsonomy MFPS The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1David A. Watt An Action Semantics of Standard ML. Search on Bibsonomy MFPS The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Charles Wells, Michael Barr The Formal Description of Data Types Using Sketches. Search on Bibsonomy MFPS The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Joylyn Reed Semantics-Based Tools for a Specification-Support Environment. Search on Bibsonomy MFPS The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Gerlinde Schreiber Operational Semantics and a Distributed Implementation of CSP. Search on Bibsonomy MFPS The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Tsutomu Kamimura, Adrian Tang 0001 Continuous Auxiliary Relations. Search on Bibsonomy MFPS The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Jimmie D. Lawson The Versatile Continuous Order. Search on Bibsonomy MFPS The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Pierre America, Jan J. M. M. Rutten Solving Reflexive Domain Equations in a Category of Complete Metric Spaces. Search on Bibsonomy MFPS The full citation details ... 1987 DBLP  DOI  BibTeX  RDF complete metric spaces, converging towers, contracting functors, Banach's fixed-point theorem, category theory, domain equations
1Steven Vickers An Algorithmic Approach to the p-adic Integers. Search on Bibsonomy MFPS The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Neil D. Jones, Peter Sestoft, Harald Søndergaard MIX: A Self-Applicable Partial Evaluator for Experiments in Compiler Generation (Extended Abstract). Search on Bibsonomy MFPS The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Robert E. Kent The Metric Closure Powerspace Construction. Search on Bibsonomy MFPS The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Adrienne G. Bloss, Paul Hudak Path Semantics. Search on Bibsonomy MFPS The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Eric G. Wagner Semantics of Block Structured Languages with Pointers. Search on Bibsonomy MFPS The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Dieter Spreen Computable One-to-one Enumerations of Effective Domains. Search on Bibsonomy MFPS The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Michael W. Mislove On the Smyth Power Domain. Search on Bibsonomy MFPS The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Aurelio Carboni, Peter J. Freyd, Andre Scedrov A Categorical Approach to Realizability and Polymorphic Types. Search on Bibsonomy MFPS The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Stephen D. Brookes Semantically Based Axiomatics. Search on Bibsonomy MFPS The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Karel Hrbacek A Powerdomain Construction. Search on Bibsonomy MFPS The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Philip S. Mulry Kan Extensions in Effective Semantics. Search on Bibsonomy MFPS The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Ernie Manes Assertional Categories. Search on Bibsonomy MFPS The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Steven K. Graham Closure Properties of a Probabilistic Domain Construction. Search on Bibsonomy MFPS The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Thierry Coquand, Carl A. Gunter, Glynn Winskel DI-Domains as a Model of Polymorphism. Search on Bibsonomy MFPS The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Michael B. Smyth Quasi Uniformities: Reconciling Domains with Metric Spaces. Search on Bibsonomy MFPS The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Laurette Bradley A Treatment of Languages with Stages of Evaluation. Search on Bibsonomy MFPS The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1David B. Benson The Shuffle Bialgebra. Search on Bibsonomy MFPS The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1George M. Reed, A. W. Roscoe 0001 Metric Spaces as Models for Real-Time Concurrency. Search on Bibsonomy MFPS The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1György E. Révész Rule-Based Semantics for an Extended Lambda-Calculus. Search on Bibsonomy MFPS The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Ernst-Erich Doberkat Topological Completeness in an Ideal Model for Polymorphic Types. Search on Bibsonomy MFPS The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Austin Melton (eds.) Mathematical Foundations of Programming Semantics, International Conference, Manhattan, Kansas, USA, April 11-12, 1985, Proceedings Search on Bibsonomy MFPS The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
Displaying result #601 - #629 of 629 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license