• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 22 matches

• 2022
• 
  Nico Lehmann, Adam Geller, Gilles Barthe, Niki Vazou, Ranjit Jhala:
  Flux: Liquid Types for Rust. CoRR abs/2207.04034 (2022)
• 2021
• 
  Rajagopalan Ramaswamy, A. H. Abdel Kader, Amr Elsonbaty:
  New Exact Nematicon Solutions of Liquid Crystal Model With Different Types of Nonlinearities. IEEE Access 9: 107909-107916 (2021)
• 
  Sunghoon Lim, Sun Jun Kim, Youngjae Park, Nahyun Kwon:
  A deep learning-based time series model with missing value handling techniques to predict various types of liquid cargo traffic. Expert Syst. Appl. 184: 115532 (2021)
• 
  Catarina Gamboa, Paulo Alexandre Santos, Christopher Steven Timperley, Alcides Fonseca:
  User-driven Design and Evaluation of Liquid Types in Java. CoRR abs/2110.05444 (2021)
• 2020
• 
  Tristan Knoth, Di Wang, Adam Reynolds, Jan Hoffmann, Nadia Polikarpova:
  Liquid resource types. Proc. ACM Program. Lang. 4(ICFP): 106:1-106:29 (2020)
• 
  Yiyun Liu, James Parker, Patrick Redmond, Lindsey Kuper, Michael Hicks, Niki Vazou:
  Verifying replicated data types with typeclass refinements in Liquid Haskell. Proc. ACM Program. Lang. 4(OOPSLA): 216:1-216:30 (2020)
• 
  Manuel Montenegro, Susana Nieva, Ricardo Peña, Clara Segura:
  Extending Liquid Types to Arrays. ACM Trans. Comput. Log. 21(2): 13:1-13:41 (2020)
• 
  Tristan Knoth, Di Wang, Adam Reynolds, Jan Hoffmann, Nadia Polikarpova:
  Liquid Resource Types. CoRR abs/2006.16233 (2020)
• 2019
• 
  Qian Li, Ju Lin, Tianying Liu, Han Zheng, Jing Liu:
  Printed flexible thin-film transistors based on different types of modified liquid metal with good mobility. Sci. China Inf. Sci. 62(10): 202403:1-202403:12 (2019)
• 2017
• 
  Manuel Montenegro, Susana Nieva, Ricardo Peña, Clara Segura:
  Liquid Types for Array Invariant Synthesis. ATVA 2017: 289-306
• 2016
• 
  Ming Kawaguchi:
  High-Level Liquid Types. University of California, San Diego, USA, 2016
• 2015
• 
  Johannes Kloos, Rupak Majumdar, Viktor Vafeiadis:
  Asynchronous Liquid Separation Types. ECOOP 2015: 396-420
• 2014
• 
  Niki Vazou, Eric L. Seidel, Ranjit Jhala:
  LiquidHaskell: experience with refinement types in the real world. Haskell 2014: 39-51
• 
  Mário Pereira, Sandra Alves, Mário Florido:
  Liquid Intersection Types. ITRS 2014: 24-42
• 2013
• 
  Dennis Griffith, Elsa L. Gunter:
  LiquidPi: Inferrable Dependent Session Types. NASA Formal Methods 2013: 185-197
• 2012
• 
  Patrick Maxim Rondon:
  Liquid Types. University of California, San Diego, USA, 2012
• 
  Patrick Maxim Rondon, Alexander Bakst, Ming Kawaguchi, Ranjit Jhala:
  CSolve: Verifying C with Liquid Types. CAV 2012: 744-750
• 
  Ranjit Jhala:
  Software Verification with Liquid Types. VMCAI 2012: 23
• 2011
• 
  Ranjit Jhala:
  Software Verification with Liquid Types. APLAS 2011: 3
• 2010
• 
  Ming Kawaguchi, Patrick Maxim Rondon, Ranjit Jhala:
  Dsolve: Safety Verification via Liquid Types. CAV 2010: 123-126
• 
  Patrick Maxim Rondon, Ming Kawaguchi, Ranjit Jhala:
  Low-level liquid types. POPL 2010: 131-144
• 2008
• 
  Patrick Maxim Rondon, Ming Kawaguchi, Ranjit Jhala:
  Liquid types. PLDI 2008: 159-169