Mikaël Mayer

Mikaël Mayer has asked 53 questions and find answers to 70 problems.

Stats

About

I am a computer science doctoral student at EPFL, working for the Laboratory of Automatised Reasoning and Analysis.

SOreadytohelp

Mikaël Mayer questions

Writing private files created by an android app
Scala generic implicit values ambiguous when overloading?
Scala custom unapply with generics
Retrieve type parameter in pattern matching in scala
Can all control flow graphs be translated back using if and while?
Scala pattern matching option None with or without binding
Android Soundpool Load(String path, int priority)
Scala: how to add type-dependent methods in trait?
Alternative to FileStream in C# .NET
Android custom XML parser fails to resolve android namespace

Mikaël Mayer answers

ScalaTest own matcher, use of word not
Dafny: Verification of the most simple array summation does not work. Can somebody explain me why?
android US Locale not working
Android custom XML parser fails to resolve android namespace
Scala list concatenation, ::: vs ++
Is there a way to create dot-free dsl in scala with two identifiers between variables?
Disable horizontal scroll; but allow vertical scroll
How to debug a single thread in Visual Studio?
How to combine crossProject and dependsOn
Using AutoIt to click a button on a window