Questions
Linux
Laravel
Mysql
Ubuntu
Git
Menu
HTML
CSS
JAVASCRIPT
SQL
PYTHON
PHP
BOOTSTRAP
JAVA
JQUERY
R
React
Kotlin
×
Linux
Laravel
Mysql
Ubuntu
Git
Kristopher Micinski
Kristopher Micinski has asked
2
questions and find answers to
33
problems.
Stats
704
EtPoint
203
Vote count
2
questions
33
answers
About
PhD student in programming languages at the University of Maryland.
Kristopher Micinski questions
Reference vs. Precise Reference in Dalvik Verifier
Kristopher Micinski answers
How handling a list of polymorphic variants?
What is exactly mean log n height?
How to delete the data while re-install the app
Why doesn't Java have macros? [closed]
OCaml Summation
How can I prove propositional extensionality in Coq?
How to dynamically decompile a Class Object on memory?
How to prove the lemma "(P \/ Q) /\ ~P -> Q." in coq?
Synchronization between SQL Lite database on an android device and SQL Server Database
How can I avoid stack overflow or segmentation fault in Coq nats?
Menu
