Find anything

Search every person, event, talk, paper, patent, company, project, topic, photo, or videoType any prefix

Advanced search

Search withinEverythingGraph entitiesOntologyPage content

Entity typesPeopleEventsTalksPapersPatentsCompaniesProjectsTopicsVideosPhotos

↑↓ choose · Enter open · Esc close

Search Graph CLI Topics Blogs Events Posts Papers Patents Feed Talks Photos Add your work My graph

Loading devreal.ai…

Community index online

Built for the people who make technology make sense.

© 2026 devreal.ai

New on FunctionalTVVideos and field notes from PyData Amsterdam, Adyen, and Spark NYC are upWatch and listen ↗

New on DevRealMojo 1.0 and open source: our ModCon 2026 videosRead and watch ↗

New on FunctionalTVVideos from DataFusion meetup at LangChain are upWatch the videos ↗

New on FunctionalTVRust AI Begins recordings are liveWatch all 12 ↗

Recently verified

@renatlbRenat LotfullinClaimed profile ↗@jesusvilelaJesús Vilela JatoClaimed profile ↗@jameswardJames WardClaimed profile ↗@schwentkerRobert SchwentkerClaimed profile ↗@etorreborreEric TorreborreClaimed profile ↗@mileschintwTsungWei ChinClaimed profile ↗@newfrontScott HainesClaimed profile ↗@devtyTyler SingletaryClaimed profile ↗@alexyAlexy KhrabrovClaimed profile ↗

Patrick Prémont — devreal.ai

← Back to the graph

person · community record

Patrick Prémont

A connected record in the developer community graph.

Checking node ownership…

01

Connections

5 relationships

authoredReferential integrity with Scala typespaper ↗authoredThe situation calculus and Hehner's programming theory, harmonization through reificationpaper ↗spoke_atTypes for Reliable Lookupstalk ↗presentedTowards Reliable Lookupstalk ↗works atBoldRadius Solutionscompany ↗

02

Provenance

Type: person
Status: Imported / unclaimed
name: Patrick Prémont
type: speaker
title: Functional Programming Architect
source: bythebay
company: BoldRadius Solutions
bio Source: generated_from_archive