Matt

Matt has asked 13 questions and find answers to 27 problems.

Stats

About

I am currently a Ph.D. student at RIT in Rochester NY. My current research focuses on the implementation and analysis of concurrent and parallel functional programming languages.

Matt questions

Hook into GHC runtime system
LLDB Restart process without user input
Why is ?Sized a bound for certain RefCell functions, but not all?
Is it possible to create a RefCell<Any>?
Is it possible to create a `HashMap` keyed by something of type `*const Any`?
Cabal install gtk failing
Suppress panic output in Rust when using panic::catch_unwind

Matt answers

prolog traverse nonstandard tree left to right
rewrite works for = but not for <-> (iff) in Coq
Haskell prelude generic functions out of scope
Zip and unzip lists in Standard ML
Multiple parameters of a function
Error: Cannot read property 'UIAppFonts' of null
Redirect lldb output to file
SVG parsing and data type
Handling let in hypothesis
Is it possible to create a `HashMap` keyed by something of type `*const Any`?