850 citations
- University of OxfordGB179 papers
- University of ManchesterGB178 papers
- Tsinghua UniversityCN174 papers
- University of Chinese Academy of SciencesCN170 papers
- Istituto Nazionale di Fisica Nucleare, Laboratori Nazionali di FrascatiIT165 papers
- Shandong UniversityCN165 papers
- University of Science and Technology of ChinaCN165 papers
- Uppsala UniversitySE163 papers
- University of TarapacáCL162 papers
- Johannes Gutenberg University MainzDE159 papers
- Justus-Liebig-Universität GießenDE158 papers
- Nanjing UniversityCN156 papers
4 papers · 2 filters
Soft Contract Verification for Higher-Order Stateful Programs
Phuc C. Nguyen, Thomas Gilray, Sam Tobin-Hochstadt +1
Software contracts allow programmers to state rich program properties using the full expressive power of an object language. However, since they are enforced at runtime, monitoring…
Linear Haskell: practical linearity in a higher-order polymorphic language
Jean-Philippe Bernardy, Mathieu Boespflug, Ryan R. Newton +2
Linear type systems have a long and storied history, but not a clear path forward to integrate with existing languages such as OCaml or Haskell. In this paper, we study a linear ty…
Adaptive Lock-Free Data Structures in Haskell: A General Method for Concurrent Implementation Swapping
Chao-Hong Chen, Vikraman Choudhury, Ryan R. Newton
A key part of implementing high-level languages is providing built-in and default data structures. Yet selecting good defaults is hard. A mutable data structure's workload is not k…
A Framework for Extending microKanren with Constraints
Jason Hemann, Daniel P. Friedman
We present a framework for building CLP languages with symbolic constraints based on microKanren, a domain-specific logic language shallowly embedded in Racket. We rely on Racket's…