• 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 193 matches

• 2021
• 
  Benjamin Sherman, Jesse Michel, Michael Carbin:
  𝜆ₛ: computable semantics for differentiable programming with higher-order functions and datatypes. Proc. ACM Program. Lang. 5(POPL): 1-31 (2021)
• 
  Xin Zhao, Philipp Haller:
  Consistency types for replicated data in a higher-order distributed programming language. Art Sci. Eng. Program. 5(2): 6 (2021)
• 2020
• 
  Matteo Cimini:
  On the Effectiveness of Higher-Order Logic Programming in Language-Oriented Programming. FLOPS 2020: 106-123
• 
  Damien Morard:
  A formalism to model higher-order function. Programming 2020: 219-220
• 
  Carol Mak, Luke Ong:
  A Differential-form Pullback Programming Language for Higher-order Reverse-mode Automatic Differentiation. CoRR abs/2002.08241 (2020)
• 
  Benjamin Sherman, Jesse Michel, Michael Carbin:
  λ_S: Computable semantics for differentiable programming with higher-order functions and datatypes. CoRR abs/2007.08017 (2020)
• 2019
• 
  Pallavi Kharbanda, Divya Agarwal:
  Non-smooth multi-objective fractional programming problem involving higher order functions. Int. J. Comput. Sci. Math. 10(4): 351-363 (2019)
• 
  Ferruccio Guidi, Claudio Sacerdoti Coen, Enrico Tassi:
  Implementing type theory in higher order constraint logic programming. Math. Struct. Comput. Sci. 29(8): 1125-1150 (2019)
• 
  Csongor Kiss, Tony Field, Susan Eisenbach, Simon Peyton Jones:
  Higher-order type-level programming in Haskell. Proc. ACM Program. Lang. 3(ICFP): 102:1-102:26 (2019)
• 
  Beidi Li, Mehul Bhatt, Carl P. L. Schultz:
  lambdaProlog(QS): Functional Spatial Reasoning in Higher Order Logic Programming (Short Paper). COSIT 2019: 26:1-26:8
• 2018
• 
  Promila Kumar, Jyoti:
  Duality for non-differentiable multi-objective semi-infinite programming for higher order invex functions. Int. J. Math. Oper. Res. 12(4): 457-470 (2018)
• 
  Thomas Ehrhard, Michele Pagani, Christine Tasson:
  Measurable cones and stable, measurable functions: a model for probabilistic higher-order programming. Proc. ACM Program. Lang. 2(POPL): 59:1-59:28 (2018)
• 
  Martin Elsman, Troels Henriksen, Danil Annenkov, Cosmin E. Oancea:
  Static interpretation of higher-order modules in Futhark: functional GPU programming in the large. Proc. ACM Program. Lang. 2(ICFP): 97:1-97:30 (2018)
• 
  Antonis Stampoulis, Adam Chlipala:
  Prototyping a functional language using higher-order logic programming: a functional pearl on learning the ways of λProlog/Makam. Proc. ACM Program. Lang. 2(ICFP): 93:1-93:30 (2018)
• 
  Angelos Charalambidis, Panos Rondogiannis, Antonis Troumpoukis:
  Higher-order logic programming: An expressive language for representing qualitative preferences. Sci. Comput. Program. 155: 173-197 (2018)
• 
  James Lipton, Susana Nieva:
  Kripke semantics for higher-order type theory applied to constraint logic programming languages. Theor. Comput. Sci. 712: 1-37 (2018)
• 
  Bjarno Oeyen, Humberto Rodríguez-Avila, Sam Van den Vonder, Wolfgang De Meuter:
  Composable higher-order reactors as the basis for a live reactive programming environment. REBLS@SPLASH 2018: 51-60
• 2017
• 
  Anurag Jayswal, Vivek Singh, Izhar Ahmad:
  Optimality and duality in multiobjective programming involving higher order semilocally strong convexity. Int. J. Math. Oper. Res. 11(2): 204-218 (2017)
• 
  Sarita Sharma:
  Duality for higher order variational control programming problems. Int. Trans. Oper. Res. 24(6): 1549-1560 (2017)
• 
  Cynthia Kop, Jakob Grue Simonsen:
  The Power of Non-determinism in Higher-Order Implicit Complexity - Characterising Complexity Classes Using Non-deterministic Cons-Free Programming. ESOP 2017: 668-695
• 
  Ikhlef Bechar:
  Exact MAP inference in general higher-order graphical models using linear programming. CoRR abs/1709.09051 (2017)
• 2016
• 
  Shervin Rahimzadeh Arashloo:
  Incorporating higher-order point distribution model priors into MRFs using convex quadratic programming. Mach. Vis. Appl. 27(6): 821-832 (2016)
• 
  Cvetan Dunchev, Claudio Sacerdoti Coen, Enrico Tassi:
  Implementing HOL in an Higher Order Logic Programming Language. LFMTP 2016: 4:1-4:10
• 
  Sam Staton, Hongseok Yang, Frank D. Wood, Chris Heunen, Ohad Kammar:
  Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints. LICS 2016: 525-534
• 
  Angelos Charalambidis, Panos Rondogiannis, Antonis Troumpoukis:
  Higher-order logic programming: an expressive language for representing qualitative preferences. PPDP 2016: 24-37
• 
  Michael A. Bukatin, Steve Matthews:
  Almost Continuous Transformations of Software and Higher-order Dataflow Programming. CoRR abs/1601.00713 (2016)
• 
  Michael A. Bukatin, Steve Matthews:
  Dataflow Graphs as Matrices and Programming with Higher-order Matrix Elements. CoRR abs/1601.01050 (2016)
• 
  Sam Staton, Hongseok Yang, Chris Heunen, Ohad Kammar, Frank D. Wood:
  Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints. CoRR abs/1601.04943 (2016)
• 2015
• 
  Olivier Savary Bélanger, Stefan Monnier, Brigitte Pientka:
  Programming type-safe transformations using higher-order abstract syntax. J. Formaliz. Reason. 8(1): 49-91 (2015)
• 
  Baltasar Trancón y Widemann, Markus Lepper:
  The shepard tone and higher-order multi-rate synchronous data-flow programming in Sig. FARM@ICFP 2015: 6-14

skipping 163 more matches