Jorge Adriano

Jorge Adriano has asked 0 questions and find answers to 38 problems.

Stats

About

Computer Scientist and Mathematician. Experienced in the fields of Semantics of Functional Programming Languages, Machine Learning and Artificial Intelligence, with a foundational background in Mathematics. Interested in semi-formal and formal program development, specification and verification. Fond of dependently typed programming, interactive proof-assistants, deductive program verification, algebraic specification, temporal logic based specification, and full system modelling.

Jorge Adriano questions

Jorge Adriano answers

Filtering with a predicate that takes 2 arguments
Why does `and` return True for empty foldable but `or` return False in Haskell? [duplicate]
Can my implementation of filter be improved?
Defining foldl in terms of foldr in Standard ML
Haskell instances under type variable conditions
What is "proxy a" in printtype function?
Every monad is an applicative functor — generalizing to other categories
Understanding the implementation of Y-Combinator
`(<*>)` definition for the Applicative functor?
Passing a function as a parameter and returning a function - Haskell