1
0
0
News
All News - Steel Bank Common Lisp
www.sbcl.org
Thanks to Philip Munksgaard. bug fix: DEFSTRUCTs with NIL as a slot name no longer cause strange CLOS-related errors. bug fix: GC deadlocks caused by concurrent consing on Windows. New in version Back to top. optimization: better distribution of SXHASH over small conses of related values. other improvements to SXHASH: ...
Telephone & Addresses
Philip Munksgaard | personer | krak.dk
www.krak.dk
Kontaktinformation for Philip Munksgaard , telefonnummer, adresse og kontaktinformation.
Network Profiles
LinkedIn: Philip Munksgaard | LinkedIn
LinkedIn er verdens største erhvervsnetværk, der hjælper fagfolk som Philip Munksgaard med at finde interne kontakter, der kan anbefale jobkandidater, ...
MySpace Profile: Philip
male, 23, Dänemark
Interests
lastFM: (Munksgaard)
Age: 25, male, Denmark
Projects
Steel Bank Common Lisp / [Sbcl-commits] master: New function...
sourceforge.net
Based on a patch by Philip Munksgaard. Closes lp# NEWS | 4 +++ doc/manual/beyond-ansi.texinfo | 1 + package-data-list.lisp-expr | 5 +++- src/code/late-extensions.lisp | 48 ++++++++++++++++++++++++++++++++++++++++ tests/interface.pure.lisp | 7 +++++ 5 files changed, 64 insertions(+), ...
Books & Literature
Bibliography - The Rust Programming Language
doc.rust-lang.org
Philip Munksgaard's master's thesis. Research for Servo. Ownership is Theft: Experiences Building an Embedded OS in Rust - Amit Levy, et. al. You can't spell trust without Rust. Alexis Beingessner's master's thesis. Rust as a Language for High Performance GC Implementation
AUTHORS.txt - third_party/rust - Git at Google
fuchsia.googlesource.com
... &>. Philip Munksgaard &>. Philipp Brüschweiler &>. Philipp Gesang &>.
Scientific Publications
dblp: Philip Munksgaard
dblp.uni-trier.de
List of computer science publications by Philip Munksgaard
Publications
SaucySalamander/ReleaseNotes/Credits/Translators - Ubuntu Wiki
wiki.ubuntu.com
... Olle Jonsson • Pascal d'Hermilly • Patrick Sørensen • Per Kongstad • Per Thykjaer Jensen • PerJensen • Peter Bach • Peter Skov • Peter_I • Philip Munksgaard • Pillum • Poul Sander • Rasmus • Rasmus Pedersen • René Blumensaadt • Robert Jørgensgaard Engdahl • Rune Rønde Laursen • Rune Rønde ...
Reports & Statements
Bug # “Crossfading option causes skipping” : Bugs : amarok...
bugs.launchpad.net
Crossfading option causes skipping Bug # reported by Dave Suffling on This bug affects 3 people Philip Munksgaard (pmunksgaard) ...
Aaron Turon Aaron Weiss
pastebin.com
Pastebin.com is the number one paste tool since Pastebin is a website where you can store text online for a set period of time.
weblocks
www.mail-archive.com
... ipyakovar; [weblocks] Aktualisie?ren Email Konto (Update your email account) T-online Mail Server; [weblocks] Recompiling defwebapp Philip Munksgaard.
From Data Types to Session Types: A Basis for Concurrency ...
groups.inf.ed.ac.uk
Session Types for Rust by Thomas Bracht Laumann Jespersen, Philip Munksgaard, and Ken Friis Larsen. In proceedings of WGP’15. Scala lchannels (Hybrid, Binary) An implementation of binary session types in Scala. The library uses the continuation-passing approach of Kobayashi, and Dardha et al. Message ordering is checked statically, and ...
Miscellaneous
Philip Munksgaard | LinkedIn
www.linkedin.com
View Philip Munksgaard’s professional profile on LinkedIn. LinkedIn is the world's largest business network, helping professionals like Philip Munksgaard discover ...
Moscow ML PPA : Philip Munksgaard
launchpad.net
Adding this PPA to your system. You can update your system with unsupported packages from this untrusted PPA by adding ppa:pmunksgaard/mosml to your system's Software Sources. (Read about installing) sudo add-apt-repository ppa:pmunksgaard/mosml sudo apt-get update. Technical details about this PPA.
Appendix E: Bibliography - Guide to Rustc Development
rustc-dev-guide.rust-lang.org
A guide to developing rustc
Munksgaard - Names Encyclopedia
namespedia.com
Philip Munksgaard (2) Mikael Munksgaard (2) Kim Munksgaard (2) Maya Munksgaard (2) Marc Munksgaard (2) Mads Munksgaard (2) Lisette Munksgaard (2) Leif …
Denis K. Ebbesen, Denmark, Class of | Rotary Club of...
portal.clubrunner.ca
Rotary Club of Braselton is Service Above Self.
Elegant Library APIs in Rust - Pascal’s Scribbles
deterministic.space
Jul 21, · The paper “Session types for Rust” (PDF) by Thomas Bracht Laumann Jespersen, Philip Munksgaard, and Ken Friis Larsen (2015). DOI . Andrew Hobden’s post “Pretty State Machine Patterns in Rust” shows several ways how one can implement state machines in Rust’s type system: Using one enum for all states, explicit struct s, a base struct ...
How do I install mosml? - Ask Ubuntu
askubuntu.com
Philip Munksgaard Philip Munksgaard bronze badges. package available is for Ubuntu Trusty. – Elder Geek Nov 8 '16 at 23:12. add a comment | 1. mosmllib-html.tgz. click on the above link and download the .tar file. Now execute the following commands in order.
Papers
elsman.com
Martin Elsman, Philip Munksgaard, and Ken Friis Larsen. Experience Report: Type-Safe Multi-Tier Programming with Standard ML Modules. In Proceedings of the ML Family Workshop (ML ‘18). St. Louis, Missouri, USA. September PDF. Martin Elsman. SMLtoJs: Hosting a Standard ML Compiler in a Web Browser.
Re: Alt + f4 switches to virtual terminal — Fedora Linux Users
www.spinics.net
On Thu, Sep 17, at 10:50:48PM +0100, James Wilkinson wrote: - Philip Munksgaard wrote: I installed Fedora 11 today on my laptop, and i'm quite liking it so far I have one small problem though: When i try to close windows by pressing alt + f4, i Fedora switches to a virtual terminal, as if i was pressing ctrl + alt + f4.
FS# : [linux] 3.8.x x drm and i915 hangs the GPU on X
bugs.archlinux.org
Flyspray, a Bug Tracking System written in PHP.
Danskerne er it-analfabeter | Information
www.information.dk
Som borgere kan vi ikke længere tillade os blot at udlicitere principielle it-diskussioner til ’nørderne’. Det er ansvarsfralæggelse af højeste kaliber
Session types in programming languages---a collection of ...
www.simonjf.com
May 28, · Session Types for Rust by Thomas Bracht Laumann Jespersen, Philip Munksgaard, and Ken Friis Larsen. In proceedings of WGP’15. Scala lchannels (Hybrid, Binary) An implementation of binary session types in Scala. The library uses the continuation-passing approach of Kobayashi, and Dardha et al. Message ordering is checked statically, and ...
munksgaard.me
munksgaard.me
This is the personal site of Philip Munksgaard. About me. Currently doing a PhD at the University of Copenhagen, working on the parallel functional programming language Futhark. I am a MSc in Computer Science from the University of Copenhagen (2015). I like programming languages, programming language theory, algorithms, concurrency and ...
Diff -...
fuchsia.googlesource.com
... Marheine &> +Peter Schuller &> Peter Williams &> Peter Zotov &> Petter Remen &> @@ -545,12 +611,15 @@ Philip Munksgaard &> Philipp Brüschweiler &> ...
– High temperature after resuming from suspend to RAM (system...
bugzilla.kernel.org
Comment 90 Philip Munksgaard :04:38 UTC ... (In reply to Philip Munksgaard from comment #90) > I suppose this is the patch he is referring to: ...
Rangleklods - Control (music video) - [b27bfd352]
www.totallyfuzzy.net
Director/Camera/DOP/Editing: Tue Blichfeldt - www.tphotography.dkAssistent Director: Aja Pippa PejtersenCast: Trine Thorsen NørgaardGymnastics Team -...
Import af data fra excel fil til MySQL database - Eksperten -...
www.computerworld.dk
Nyheder, analyser, viden, blogs og debat om it. Computerworld er dit medie om det digitale Danmark. Computerworld skriver om nye teknologier, hardware,...
Re: [O] [PATCH] Adding org-babel support for rust (ob-rust.el)
lists.gnu.org
Hello, Philip Munksgaard <address@hidden> writes: > I've been working on adding support for rust in org-babel, and this is > what I've come up with so far. It's basically just a modification of > ob-C.el. The branch is viewable at [0], but so far the only commit is > [1]. I've also attached an example of how it ...
Related search requests for Philip Munksgaard
| Thomas Bracht |
People Forename "Philip" (29300) Name "Munksgaard" (43) |
sorted by relevance / date