output
20062026
most citedPolaritons in layered 2D materials

1.3k citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing 2018 · cs.PLShow all

2 papers · 2 filters

cs.PL2018

Description, Implementation, and Evaluation of a Generic Design for Tabled CLP

Joaquín Arias, Manuel Carro

Logic programming with tabling and constraints (TCLP, tabled constraint logic programming) has been shown to be more expressive and in some cases more efficient than LP, CLP or LP…

cs.PL2018★ 1 cited

Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus

Alejandro Aguirre, Gilles Barthe, Lars Birkedal +3

We extend the simply-typed guarded -calculus with discrete probabilities and endow it with a program logic for reasoning about relational properties of guarded probabilistic com…