issues
search
thalerjonathan
/
phd
Stuff of my PhD I want to share publicly: all code, texts of my papers, research-notes & research-diary
GNU General Public License v3.0
30
stars
5
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
does not work
#7
geniusserg
opened
3 years ago
0
Implement A functional framework for agent-based models of exchange
#6
thalerjonathan
opened
6 years ago
3
Quickcheck in pure functional ABS?
#5
thalerjonathan
closed
6 years ago
1
Dependent types in pure functional ABS
#4
thalerjonathan
opened
6 years ago
1
UML & Peers Framework in pure functional ABS
#3
thalerjonathan
closed
6 years ago
1
Suggestion: simpler expression
#2
ivanperez-keera
closed
6 years ago
1
Simplifies signature of SF.
#1
ivanperez-keera
closed
6 years ago
1