News
Heise.de: www.heise.de
... (Danke an Lars Hupel) MiddleButton 0.5: - b37: Der Umgang mit Klassen-Ausnahmen wurde optimiert (Danke an Matthias Hillebrand) MouseClip 1.0: ...
Heise.de: Stufe 3 | c't | Heise Magazine
Von Lars Hupel. Die Selbstbeschreibung in Scalas Dokumentation bringt es auf den Punkt: „Scala ist eine moderne Multi-Paradigmen-Sprache, designt, ... › select
Lars Hupel from INNOQ at Scala Love in the City
emamo.com
Lars Hupel from INNOQ is featured at Scala Love in the City.
Netzwerk-Profile
Dr. Lars Hupel auf LinkedIn: Injecting environment variables ...
de.linkedin.com
› posts › lars-hupel_injecting-envi...
LinkedIn: Dr. Lars Hupel – Senior Consultant – INNOQ | LinkedInde.linkedin.com › dr-lars-hupel b222
Sehen Sie sich das Profil von Dr. Lars Hupel im größten Business-Netzwerk der Welt an. Im Profil von Dr. Lars Hupel sind 3 Jobs angegeben.
Interessen
| jug in - Java User Group Ingolstadt e.V.
www.vereinonline.org
VereinOnline jug in - Java User Group Ingolstadt e.V.
Private Homepages
Lars Hupel
lars.hupel.info
Lars Hupel PhD student Chair for Logic and Verification, Fakultät für Informatik Office: MI Office hours: upon request Office phone: +
exception - Combining Futures (Twitter) and Either in Scala - Stack...
stackoverflow.com
So now I've tried to use Scalaz Either (which is a right biased Either compared to the neutral scala Either) and the Monad Transformer EitherT and it seems it does exactly what I want. Thanks to Huw and especially Lars Hupel for hinting me in the right direction. Here is working a sample for Twitter futures ...
scala - What is `class A[_]` useful for? - Stack Overflow
stackoverflow.com
Because I did not get the answers I expected, I brought this to scala-language. I paste here the answer from Lars Hupel (so, all credits apply to ...
scalaz - How to avoid stair-stepping with Monad Transformers in...
stackoverflow.com
... to skip the nicer syntax, especially since (possibly) upcoming changes will make the issue irrelevant—see the comments here by Lars Hupel.
Projekte
Thread: [Openvpn-devel] HTTP/1.1 Host header | OpenVPN
sourceforge.net
Lars Hupel wrote: > Hi, > > as the subject states, I would like that OpenVPN sends an appropriate > Host header, because my server configuration relies on ...
TUM Info VIII: SASER
www.net.in.tum.de
Sie sind hier: Projekte → BMBF SASER : Startseite: Mitarbeiter: Projekte: Abgeschlossene Projekte - Past projects: ... Cornelius Diekmann, Lars Hupel, and …
TUM Info VIII
www.net.in.tum.de
Cornelius Diekmann, Julius Michaelis, Lars Hupel, “IP Addresses,” Archive of Formal Proofs, Jun Formal proof development
Bücher
50 Jahre Spezi in Jena: Ein mathematischer Blick auf eine ganz...
books.google.de
Ein runder Geburtstag bildet den Anlass, Einblicke in ein Schulhaus zu nehmen, das seit einem halben Jahrhundert Begabtenförderung in den MINT-Fächern lebt....
Computer Aided Verification: 26th International Conference, CAV 2014,...
books.google.de
This book constitutes the proceedings of the 26th International Conference on Computer Aided Verification, CAV 2014, held as part of the Vienna Summer of...
FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway,...
books.google.de
This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June The 30 full...
Dokumente zum Namen
Computer Science authors/titles Jun 2014
arxiv.org
Title: Towards a Multiagent Decision Support System for crisis Management. Authors: Authors: Lars Hupel. Comments: Subjects: Databases (cs.DB).
Catchup results for cs from Fri, 5 Sep arXiv
arxiv.org
Comments: Proceedings of the 29th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval (SIGIR '06), Authors: Lars Hupel. Comments: Conferences on Intelligent Computer Mathematics, Subjects: Mathematical Software (cs.MS); Logic in Computer Science (cs ...
From allbery.b at gmail.com Sun Mar 1 00:00: From: allbery ...
mail.haskell.org
I would encourage those that feel strongly about such features to consider getting involved with development of the hackage server URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments cae937e7/attachment.html> From lars at hupel.info Fri Mar :39: From: lars at hupel.info (Lars ...
Catchup results for cs from Sat, 30 Aug arXiv
arxiv.org
Journal-ref: Proceedings of the Third International Workshop on Tool Support Development and Management in Distributed Software Projects, collocated with the Authors: Lars Hupel. Comments: Conferences on Intelligent Computer Mathematics, Subjects: Mathematical Software (cs.MS); Logic in Computer ...
Wissenschaftliche Veröffentlichungen
dblp: ACM SIGPLAN Symposium on Haskell 2014
dblp.dagstuhl.de
Bibliographic content of ACM SIGPLAN Symposium on Haskell 2014
Veröffentlichungen allgemein
Verified iptables Firewall Analysis and Verification | SpringerLink
link.springer.com
Cornelius Diekmann; Lars Hupel Email author Isabelle is a proof assistant in the LCF tradition: the system is based on a small and ...
Translating Scala Programs to Isabelle/HOL | SpringerLink
link.springer.com
We present a trustworthy connection between the Leon verification system and the Isabelle proof assistant. Leon is a system for verifying functional Scala...
Interactive Simplifier Tracing and Debugging in Isabelle |...
link.springer.com
The Isabelle proof assistant comes equipped with a very powerful tactic for term simplification. While tremendously useful, the results of simplifying a term...
Interactive Simplifier Tracing and Debugging in Isabelle | SpringerLinklink.springer.com › chapter
link.springer.com
Interactive Simplifier Tracing and Debugging in Isabelle. Authors; Authors and affiliations. Lars Hupel. Lars Hupel Technische Universität München Germany.
Video & Audio
Isabel Wingen & Lars Hupel - Funktionale Programmierung in ...
www.podcast.de
› episode › isabel-wingen-lars-hu...
Artikel & Meinungen
Google Groups: Typelevel Users & Development List (defunct) - Google Groups
This is a public list for users, developers and contributors of Typelevel projects Lars Hupel's profile photo ... Volunteers for the Philadelphia Summit wanted.
Triplequote interview with Miles Sabin
www.triplequote.com
— Typelevel's co-founders (Lars Hupel, Erik Osheim and I) had one main goal when we started out: to remove as many barriers as possible to ... › blog
Lars Hupel Joins the Scala Center Advisory Boardwww.scala-lang.org › blog › › lars-hup...
www.scala-lang.org
Lars Hupel Joins the Scala Center Advisory Board. Monday 24 October Jon Pretty. BLOG. It has been almost half a year since we kicked off our first ...
Sonstiges
Lars Hupel - Google Scholar
scholar.google.com
Zugehörigkeit unbekannt - 121-mal zitiert - Formal methods - Functional programming - Compilers
Lars Hupel - Google Akademik Alıntılar
scholar.google.com.tr
Akademik · Lars Hupel. Takip et. E-posta. Yeni makaleleri takip edin. Yeni alıntıları takip edin. Uyarı oluştur İptal. Lars Hupel. Technische Universität München.
Cornelius Diekmann - Google Scholar Citations
scholar.google.de
Lars Hupel, Lothar Braun; Title 1–20 Cited by Year; Semantics-preserving simplification of real-world firewall rule sets. C Diekmann, L Hupel, G Carle.
Functional Geekery Episode Lars Hupel Functional Geekery podcast
player.fm
Our Guest, Lars Hupel @larsr_h on Twitter Lars online Announcements Our Guest, Susan Potter @SusanPotter on Twitter Susan on LinkedIn Susan's ...
Iptables-Semantics. Cornelius Diekmann, Lars Hupel. October 10, PDF...
financedocbox.com
Iptables-Semantics Cornelius Diekmann, Lars Hupel October 10, Abstract We present a big step semantics of the filtering behavior of the ...
Lars Hupel - Google Scholar Henvisningerscholar.google.dk › citations
scholar.google.dk
C Diekmann, L Hupel, J Michaelis, M Haslbeck, G Carle. Journal of Automated Reasoning 61 (1-4), Iptables Semantics. C Diekmann, L ...
Lars Hupel - Citazioni di Google Scholar
scholar.google.com
Tobias NipkowProfessor of Computer Science, Technische Universität München Email verificata su in.tum.de. Viktor KunčakEPFLEmail verificata su epfl.ch.
Lars Hupel - Trích dẫn của Google Scholarscholar.google.com › citations
scholar.google.com
Số lượng "Trích dẫn bởi" bao gồm trích dẫn trong các bài viết sau đây trong Scholar. Các bài viết được đánh dấu * có thể khác với bài viết trong tiểu sử.
Lars Hupel innoQ Deutschland GmbH: Sencha Community Dayssencha-community-days.de › conference › speaker
sencha-community-days.de
Lars Hupel. innoQ Deutschland GmbH, Consultant. Lars is a consultant with INNOQ in Munich, Germany. A frequent conference speaker, he is active in the open ...
OptimusPrimeT - Lars Hupel
www.softwaretalks.io
Everybody knows monads by now, so a talk about monads would hardly be worthwhile. Lets take it to the next level: monad transformers. Well learn what they are,...
Lars Hupel on Algebraic Design - CaSE: Conversations about Software...
www.case-podcast.org
Lucas Dohmen: Hello, listeners, and welcome to a new Conversation about Software Engineering. Today on the CaSE Podcast I have a guest, Lars Hupel. Hi, Lars.
Lars Hupel, Lena Kraaz, Aminata Sidibe: Diversity Player FMplayer.fm › series › softwarearchitektur-im-stream › lars-hupel-lena-kraaz-...
player.fm
Listen to Lars Hupel, Lena Kraaz, Aminata Sidibe: Diversity and fifty-two more episodes by SoftwareArchitektur Im Stream, free! No signup or install needed.
sortiert nach Relevanz / Datum