Tacit programming

Known as: Pointless programming, Pointfree programming, Point-free style 
Tacit programming, also called point-free style, is a programming paradigm in which function definitions do not identify the arguments (or "points… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1981-2014
02419812014

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Scientific facts are constituted as consensus about observable phenomena against the background of an accepted, or at least… (More)
  • figure 1
Is this relevant?
2010
2010
Lenses are one the most popular approaches to define bidirectional transformations between data models. A bidirectional… (More)
Is this relevant?
2009
2009
Over the past few years, online communities have gained their popularity among internet users. Many people join these communities… (More)
  • table 1
  • table 2
Is this relevant?
2009
2009
Galois is a domain specific language supported by the Galculator interactive proof-assistant prototype. Galculator uses an… (More)
  • figure 1
  • figure 3
Is this relevant?
2009
2009
  • JOHANNES BRONKHORST
  • 2009
Some years ago CLAUS OETKE published several articles1 dealing with the arguments and teaching of Någårjuna's MËlamadhyamakakårik… (More)
Is this relevant?
2008
2008
In this paper we carefully reexamine the various framworks existing in the field of relativistic thermodynamics. We scrutinize in… (More)
Is this relevant?
2005
2005
The subject of this paper is functional program transformation in the so-called point-free style. By this we mean first… (More)
  • figure 1
Is this relevant?
2005
2005
The subject of this paper is point-free functional programming in Haskell. By this we mean writing programs using categorically… (More)
  • figure 3
Is this relevant?
Highly Cited
2001
Highly Cited
2001
The categorical notion of monad, used by Moggi to structure denotational descriptions, has proved to be a powerful tool for… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
1982
1982
The Cognition and Programming Group at Yale University is engaged in two complementary efforts: 1. exploring the programming… (More)
Is this relevant?