Proceedings 2nd International Workshop on Linearity
Sandra Alves (University of Porto), Ian Mackie (\'Ecole Polytechnique)
TL;DR
This paper compiles research from the 2nd International Workshop on Linearity, focusing on the development and application of linear calculi in software theory and practice, fostering collaboration and knowledge sharing among researchers.
Contribution
It presents a collection of recent research papers that advance the understanding and application of linear calculi in computer science.
Findings
New theoretical insights into linear calculi
Applications of linear calculi in software development
Identification of open research challenges
Abstract
This volume contains a selection of the papers presented at the 2nd International Workshop on Linearity (LINEARITY'2012), which took place 1 April 2012 in Tallinn, Estonia. The workshop was a one-day satellite event of ETAPS 2012, the 15th European Joint Conference on Theory and Practice of Software. The aim of this workshop was to bring together researchers who are currently developing theory and applications of linear calculi, in order to foster their interaction, to provide a forum for presenting new ideas and work in progress, and to enable newcomers to learn about current activities in this area.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.