Kristopher Micinski

Kristopher Micinski has asked 2 questions and find answers to 29 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

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
Ocaml parsing string to make tree
OCaml unexpected type mismatch in tuples