Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 217,798,327 papers from all fields of science
Search
Sign In
Create Free Account
Result type
In functional programming, a result type is a Monadic type holding a returned value or an error code. They provide an elegant way of handling errors…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
6 relations
Exception handling
Option type
Return type
Rust
Expand
Broader (1)
Functional programming
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2009
2009
A thick SU-8 mask for microabrasive jet machining on glass
A. S. Saragih
,
T. Ko
2009
Corpus ID: 58915606
This work presents the implementation of a thick SU-8 layer as a mask in the microabrasive jet machining (μ-AJM) process. A…
Expand
2005
2005
The processes of learning in a computer algebra system (cas) environment for college students learning calculus
Douglas T. Owens
,
R. Voithofer
,
Michael S. Meagher
2005
Corpus ID: 63147855
This study is a qualitative case study focusing on the question “What are the processes of learning in a Computer Algebra System…
Expand
2002
2002
Structural Function Inlining Technique for Structurally Recursive XML Queries
Chang-Won Park
,
Jun-Ki Min
,
C. Chung
Very Large Data Bases Conference
2002
Corpus ID: 2981255
2001
2001
A Coalgebraic Equational Approach to Specifying Observational Structures
C. Cîrstea
Theoretical Computer Science
2001
Corpus ID: 18285191
Highly Cited
1999
Highly Cited
1999
Linear types and non-size-increasing polynomial time computation
M. Hofmann
Proceedings. 14th Symposium on Logic in Computer…
1999
Corpus ID: 2498144
We propose a linear type system with recursion operators for inductive datatypes which ensures that all definable functions are…
Expand
Highly Cited
1998
Highly Cited
1998
Argument Structure, Valence, and Binding
Christopher D. Manning
,
I. Sag
Nordic Journal of Linguistics
1998
Corpus ID: 144511559
This paper develops within HPSG a model of grammar with two syntactic levels, valence lists and argument structure, at which…
Expand
Highly Cited
1997
Highly Cited
1997
Categorical Structure of Continuation Passing Style
Hayo Thielecke
1997
Corpus ID: 53887531
This thesis attempts to make precise the structure inherent in Continuation Passing Style (CPS). We emphasize that CPS translates…
Expand
1997
1997
Linguistic, Philosophical, and Pragmatic Aspects of Type-Directed Natural Language
S. Shaumyan
,
P. Hudak
Logical Aspects of Computational Linguistics
1997
Corpus ID: 10734419
We describe how type information can be used to infer grammatical structure. This is in contrast to conventional type inference…
Expand
Highly Cited
1997
Highly Cited
1997
A Mixed Modal/Linear Lambda Calculus with Applications to Bellantoni-Cook Safe Recursion
M. Hofmann
Annual Conference for Computer Science Logic
1997
Corpus ID: 6031740
This paper introduces a simply-typed lambda calculus with both modal and linear function types. Through the use of subtyping…
Expand
1979
1979
A system for developing programs by transformation
M. Feather
1979
Corpus ID: 1488828
Much of the difficulty of programming can be atcribute: ' to the clash between the goal of efficiency and other desirable goals…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE