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
31
problems.
Stats
674
EtPoint
197
Vote count
2
questions
31
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 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?
Android Service keep alive
how does android store and run programs
Menu
