|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 181 occurrences of 127 keywords
|
|
|
|
|
Results
Found 351 publication records. Showing 351 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 5 | Joachim Niehren, Jan Schwinghammer, Gert Smolka |
A Concurrent Lambda Calculus with Futures.  |
FroCoS  |
2005 |
DBLP DOI BibTeX RDF |
|
| 5 | John Longley, Randy Pollack |
Reasoning About CBV Functional Programs in Isabelle/HOL. |
TPHOLs |
2004 |
DBLP DOI BibTeX RDF |
|
| 5 | Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Kenneth L. McMillan |
Abstractions from proofs. |
POPL |
2004 |
DBLP DOI BibTeX RDF |
counterexample analysis, software model checking, predicate abstraction |
| 5 | Jana Dunfield, Frank Pfenning |
Tridirectional typechecking. |
POPL |
2004 |
DBLP DOI BibTeX RDF |
type refinements, dependent types, intersection types, union types |
| 5 | Eijiro Sumii, Benjamin C. Pierce |
A bisimulation for dynamic sealing. |
POPL |
2004 |
DBLP DOI BibTeX RDF |
|
| 5 | Kohei Honda 0001, Nobuko Yoshida |
A compositional logic for polymorphic higher-order functions. |
PPDP |
2004 |
DBLP DOI BibTeX RDF |
compositional logics, polymorphim, types, higher-order functions |
| 5 | Yukiyoshi Kameyama |
Axioms for Delimited Continuations in the CPS Hierarchy. |
CSL |
2004 |
DBLP DOI BibTeX RDF |
|
| 5 | François Pottier, Vincent Simonet |
Information flow inference for ML. |
ACM Trans. Program. Lang. Syst. |
2003 |
DBLP DOI BibTeX RDF |
non-interference, Constraint-based analysis |
| 5 | Andrzej S. Murawski |
On Program Equivalence in Languages with Ground-Type References. |
LICS |
2003 |
DBLP DOI BibTeX RDF |
|
| 5 | Olivier Danvy |
A New One-Pass Transformation into Monadic Normal Form. |
CC |
2003 |
DBLP DOI BibTeX RDF |
|
| 5 | James Laird |
A Game Semantics of Linearly Used Continuations. |
FoSSaCS |
2003 |
DBLP DOI BibTeX RDF |
|
| 5 | Alex K. Simpson |
Computational Adequacy for Recursive Types in Models of Intuitionistic Set Theory. |
LICS |
2002 |
DBLP DOI BibTeX RDF |
|
| 5 | Kohei Honda 0001, Nobuko Yoshida |
A uniform type structure for secure information flow. |
POPL |
2002 |
DBLP DOI BibTeX RDF |
|
| 5 | François Pottier, Vincent Simonet |
Information flow inference for ML. |
POPL |
2002 |
DBLP DOI BibTeX RDF |
|
| 5 | Umut A. Acar, Guy E. Blelloch, Robert Harper 0001 |
Adaptive functional programming. |
POPL |
2002 |
DBLP DOI BibTeX RDF |
|
| 5 | Olivier Danvy, Lasse R. Nielsen |
A First-Order One-Pass CPS Transformation. |
FoSSaCS |
2002 |
DBLP DOI BibTeX RDF |
|
| 5 | Masahito Hasegawa |
Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus. |
FLOPS |
2002 |
DBLP DOI BibTeX RDF |
|
| 5 | Andrzej Filinski |
Normalization by Evaluation for the Computational Lambda-Calculus. |
TLCA |
2001 |
DBLP DOI BibTeX RDF |
|
| 5 | Gérard Boudol |
The Recursive Record Semantics of Objects Revisited. |
ESOP |
2001 |
DBLP DOI BibTeX RDF |
|
| 5 | Adam Fischbach, John Hannan |
Type Systems for Useless-Variable Elimination. |
PADO |
2001 |
DBLP DOI BibTeX RDF |
|
| 5 | Richard Sharp, Alan Mycroft |
A Higher-Level Language for Hardware Synthesis. |
CHARME |
2001 |
DBLP DOI BibTeX RDF |
|
| 5 | Alan Mycroft, Richard Sharp |
A Statically Allocated Parallel Functional Language. |
ICALP |
2000 |
DBLP DOI BibTeX RDF |
|
| 5 | Frédéric Loulergue |
BSlambdap: Functional BSP Programs on Enumerated Vectors. |
ISHPC |
2000 |
DBLP DOI BibTeX RDF |
|
| 5 | Andrew K. Wright, Suresh Jagannathan |
Polymorphic Splitting: An Effective Polyvariant Flow Analysis. |
ACM Trans. Program. Lang. Syst. |
1998 |
DBLP DOI BibTeX RDF |
polyvariance, flow analysis, inlining, run-time checks |
| 5 | Andrew P. Tolmach |
Optimizing ML Using a Hierarchy of Monadic Types. |
Types in Compilation |
1998 |
DBLP DOI BibTeX RDF |
|
| 5 | Walid Taha, Zine-El-Abidine Benaissa, Tim Sheard |
Multi-Stage Programming: Axiomatization and Type Safety. |
ICALP |
1998 |
DBLP DOI BibTeX RDF |
|
| 5 | Alex K. Simpson |
Computational Adequacy in an Elementary Topos. |
CSL |
1998 |
DBLP DOI BibTeX RDF |
|
| 5 | Luis Mandel, María Victoria Cengarle |
The Disjunctive Constrained Lambda Calculus. |
Ershov Memorial Conference |
1996 |
DBLP DOI BibTeX RDF |
constraints, functional programming, lambda calculus, denotational semantics, multiple solutions |
| 5 | Olivier Danvy, René Vestergaard |
Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation. |
PLILP |
1996 |
DBLP DOI BibTeX RDF |
|
| 5 | John C. Mitchell, Ramesh Viswanathan |
Effective Models of Polymorphism, Subtyping and Recursion (Extended Abstract). |
ICALP |
1996 |
DBLP DOI BibTeX RDF |
|
| 5 | Guy E. Blelloch, John Greiner |
A Provable Time and Space Efficient Implementation of NESL. |
ICFP |
1996 |
DBLP DOI BibTeX RDF |
|
| 5 | Rémi Douence, Pascal Fradet |
Towards a Taxonomy of Functional Languages Implementations |
PLILP |
1995 |
DBLP DOI BibTeX RDF |
|
| 5 | Zhonghua Li, Chris C. Kirkham |
Efficient implementation of aggregates in united functions and objects. |
ACM Southeast Regional Conference |
1995 |
DBLP DOI BibTeX RDF |
|
| 5 | Marc Pouzet |
The Program Compaction Revisited: the Functional Framework. |
Euro-Par |
1995 |
DBLP DOI BibTeX RDF |
|
| 5 | Rong N. Chang, Chinya V. Ravishankar |
A Service Acquisition Mechanism for Server-Based Heterogeneous Distributed Systems. |
IEEE Trans. Parallel Distributed Syst. |
1994 |
DBLP DOI BibTeX RDF |
serviceacquisition mechanism, server-based heterogeneous distributed systems, remote networkservers, server interface binding protocols, interface operation invocation protocols, Clibrary interface, protocols, distributed processing, abstract data types, abstract data type, network servers |
| 5 | Andrzej Filinski |
Representing Monads. |
POPL |
1994 |
DBLP DOI BibTeX RDF |
|
| 5 | Nevin Heintze |
Set-Based Analysis of ML Programs. |
LISP and Functional Programming |
1994 |
DBLP DOI BibTeX RDF |
ML |
| 5 | Wilfried Sieg, Stanley S. Wainer |
Program Transformation and Proof Transformation. |
CSL |
1993 |
DBLP DOI BibTeX RDF |
|
| 5 | Walter Dosch |
Reduction Relations in Strict Applicative Language. |
ISTCS |
1992 |
DBLP DOI BibTeX RDF |
|
| 5 | Bent Thomsen, Lone Leth Thomsen, Alessandro Giacalone |
Some Issues in the Semantics of Facile Distributed Programming. |
REX Workshop |
1992 |
DBLP DOI BibTeX RDF |
Theory of Concurrency, Distributed Computing, Programming Languages, Functional Programming, Time, Failure, Programming Language Semantics |
| 5 | Mikael Pettersson, Peter Fritzson |
DML - a meta-language and system for the generation of practical and efficient compilers from denotational specifications. |
ICCL |
1992 |
DBLP DOI BibTeX RDF |
|
| 5 | Harold Boley |
A Direct Semantic Characterization of RELFUN. |
ELP |
1992 |
DBLP DOI BibTeX RDF |
|
| 5 | Harold Boley |
Extended Logic-plus-Functional Programming. |
ELP |
1991 |
DBLP DOI BibTeX RDF |
|
| 5 | Andrea Asperti |
Integrating Strict and Lazy Evaluation: The lambda-sl-Calculus. |
PLILP |
1990 |
DBLP DOI BibTeX RDF |
|
| 5 | Robin Milner |
Functions as Processes. |
ICALP |
1990 |
DBLP DOI BibTeX RDF |
|
| 5 | Olivier Danvy, Andrzej Filinski |
Abstracting Control. |
LISP and Functional Programming |
1990 |
DBLP DOI BibTeX RDF |
|
| 5 | Mikael Pettersson |
Generating Efficient Code from Continuation Semantics. |
CC |
1990 |
DBLP DOI BibTeX RDF |
|
| 5 | Herbert Klaeren, Klaus Indermark |
Efficient Implementation of an Algebraic Specification Language. |
Algebraic Methods |
1987 |
DBLP DOI BibTeX RDF |
|
| 5 | Alberto Pettorossi |
Program Development Using Lambda Abstraction. |
FSTTCS |
1987 |
DBLP DOI BibTeX RDF |
|
| 5 | Micha Sharir |
Data Flow Analysis of Applicative Programs. |
ICALP |
1981 |
DBLP DOI BibTeX RDF |
|
| 5 | John C. Reynolds |
On the Relation between Direct and Continuation Semantics. |
ICALP |
1974 |
DBLP DOI BibTeX RDF |
|
Displaying result #301 - #351 of 351 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license