Mehari Tesfaye
0
Followers
0
Following
Followers
No follower
Followings
You are not following anyone yet.
2.56693
MPXR
MPXR is your soulbound, non-liquid, non-transferable token: it is your reputation score, and it can be obtained through interaction with content on the platform. It is your reward for helping the decentralization process. You can use it to vote, claim a job, or request content in our Content Factory.
- About
- Published Content (1)
- posts (0)
Biography
-
Mindplex Handle
mehari
Interests
A New Approach to Formalizing Second-Order Languages in Agda
Recent advancements in programming language frameworks unveil a systematic approach for generating Agda implementations of second-order languages. This innovation promises reduced errors and enhanced verification efficiency in complex language systems.
No Bookmarks Yet
There are no drafts yet
To get started go to the content factory and write some content it will automatically get saved here