Kristopher Micinski

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

The differences between broadcast receiver and activity
Android Background threads: Difference between launching from an Activity and from a Service
Android Remote Service without aidl?
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?