Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID13. FLOPS 2016: Kochi, Japan
- Oleg Kiselyov, Andy King:
Functional and Logic Programming - 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings. Lecture Notes in Computer Science 9613, Springer 2016, ISBN 978-3-319-29603-6 - Kazunori Ueda:
Logic/Constraint Programming and Concurrency: The Hard-Won Lessons of the Fifth Generation Computer Project. 1-11 - Arthur Blot, Pierre-Évariste Dagand, Julia Lawall:
From Sets to Bits in Coq. 12-28 - Wouter Swierstra, João Alpuim:
From Proposition to Program - Embedding the Refinement Calculus in Coq. 29-44 - Markus Triska:
The Boolean Constraint Solver of SWI-Prolog (System Description). 45-61 - Praveen Narayanan, Jacques Carette
, Wren Romano, Chung-chieh Shan, Robert Zinkov:
Probabilistic Inference by Program Transformation in Hakaru (System Description). 62-79 - Ian Mackie, Shinya Sato:
An Interaction Net Encoding of Gödel's System T - Declarative Pearl. 80-93 - Taus Brock-Nannestad:
Space-Efficient Planar Acyclicity Constraints - A Declarative Pearl. 94-108 - Ki Yung Ahn, Andrea Vezzosi:
Executable Relational Specifications of Polymorphic Type Systems Using Prolog. 109-125 - Peng Fu, Ekaterina Komendantskaya, Tom Schrijvers, Andrew Pond:
Proof Relevant Corecursive Resolution. 126-143 - Jay A. McCarthy, Burke Fetscher, Max S. New, Daniel Feltey, Robert Bruce Findler:
A Coq Library for Internal Verification of Running-Times. 144-162 - Rémy Haemmerlé, Pedro López-García, Umer Liqat, Maximiliano Klemen, John P. Gallagher, Manuel V. Hermenegildo:
A Transformational Approach to Parametric Accumulated-Cost Static Profiling. 163-180 - Francisco Javier López-Fraguas, Manuel Montenegro, Juan Rodríguez-Hortalá:
Polymorphic Types in Erlang Function Specifications. 181-197 - Jeremy Yallop, David Sheets, Anil Madhavapeddy:
Declarative Foreign Function Binding Through Generic Programming. 198-214 - Akimasa Morihata:
Incremental Computing with Abstract Data Structures. 215-231 - André van Delft, Anatoliy Kmetyuk:
Declarative Programming with Algebra. 232-251
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-19 19:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
