Kristopher Micinski

Kristopher Micinski has asked 2 questions and find answers to 32 problems.

Stats

About

PhD student in programming languages at the University of Maryland.

Kristopher Micinski questions

Reference vs. Precise Reference in Dalvik Verifier

Kristopher Micinski answers

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?
Android Service keep alive