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
34
problems.
Stats
719
EtPoint
206
Vote count
2
questions
34
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 call methods of another Activity
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
Menu
