About Us
Alerts
Contact
Ordering Info
Help
Log in
Home
FnTs
Journals
Books
NowOpen
Topic
Deep learning (2)
Distributed computing (2)
Bayesian learning (1)
Classification and prediction (1)
Domain Specific Languages (1)
Formal semantics (1)
Language Paradigms (1)
Marketing Research (1)
Markov decision processes (1)
Metadata management (1)
Model choice (1)
Planning and control (1)
Product Development (1)
Productivity measurement and analysis (1)
Program Logic (1)
Program Verification (1)
Program synthesis (1)
Programming Languages for Concurrency (1)
Programming languages for concurrency (1)
Randomness in computation (1)
Semiparametric and nonparametric estimation (1)
Static and Dynamic Program Analysis (1)
Statistical learning theory (1)
Trust and provenance (1)
Type Theory and Type Systems (1)
Journal
Foundations and Trends® in Programming Languages (4)
Data Envelopment Analysis Journal (1)
Foundations and Trends® in Databases (1)
Foundations and Trends® in Marketing (1)
Year
2016 (2)
2020 (2)
2021 (2)
2022 (1)
Article Type
review article (6)
research article (1)
Platform
Your search returned 7 results
review article
Behavioral Types in Programming Languages
Davide Ancona
|
Viviana Bono
|
Mario Bravetti
|
Joana Campos
|
Giuseppe Castagna
|
Pierre-Malo DeniƩlou
|
Simon J. Gay
|
Nils Gesbert
|
Elena Giachino
|
Raymond Hu
|
Einar Broch Johnsen
|
Francisco Martins
|
Viviana Mascardi
|
Fabrizio Montesi
|
Rumyana Neykova
|
Nicholas Ng
|
Luca Padovani
|
Vasco T. Vasconcelos
|
Nobuko Yoshida
Journal:
Foundations and Trends® in Programming Languages, Volume 3, Issue 2-3
research article
On the Use of DEA for Software Development Productivity Measurement
Mette Asmild
|
Francisco Imperatore
Journal:
Data Envelopment Analysis Journal, Volume 2, Issue 1
review article
Probabilistic Trace and Testing Semantics: The Importance of Being Coherent
Marco Bernardo
Journal:
Foundations and Trends® in Programming Languages, Volume 7, Issue 4
review article
Neurosymbolic Programming
Swarat Chaudhuri
|
Kevin Ellis
|
Oleksandr Polozov
|
Rishabh Singh
|
Armando Solar-Lezama
|
Yisong Yue
Journal:
Foundations and Trends® in Programming Languages, Volume 7, Issue 3
review article
Data Provenance
Boris Glavic
Journal:
Foundations and Trends® in Databases, Volume 9, Issue 3-4
review article
Progress of Concurrent Objects
Hongjin Liang
|
Xinyu Feng
Journal:
Foundations and Trends® in Programming Languages, Volume 5, Issue 4
review article
Machine Learning in Marketing: Overview, Learning Strategies, Applications, and Future Developments
Vinicius Andrade Brei
Journal:
Foundations and Trends® in Marketing, Volume 14, Issue 3