Skip to search formSkip to main contentSkip to account menu
You are currently offline. Some features of the site may not work correctly.

FLINT

The Fast Library for Number Theory (FLINT) is a C library for number theory applications. The two major areas of functionality currently implemented… 
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2013
Highly Cited
2013
Copyright and reuse: The Warwick Research Archive Portal (WRAP) makes this work by researchers of the University of Warwick… 
  • table 1
2013
2013
La confrontation entre les donnees paleoenvironnementales et les resultats d’analyse traceologique d’artefacts en silex provenant… 
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
2012
2012
During March and April each year, ranchers and farmers in the Kansas Flint Hills region burn two to three million acres of… 
  • figure 2
  • figure 1
  • figure 3
  • figure 4
  • figure 6
2008
2008
We report on the formal functional verification of a simple device driver for an ATAPI hard disk in Isabelle/HOL. The proof is… 
  • figure 2
  • figure 1
  • figure 3
2007
2007
Numerous Quaternary organic deposits of various lithologies beneath one or more till units of Wisconsinan age have been… 
  • figure 1
  • table I
  • table I
  • figure 2
  • figure 3
2004
2004
We present a formalization of the implementation of generics in the .NET Common Language Runtime (CLR), focusing on two novel… 
  • figure 2
  • figure 1
  • figure 5
2002
2002
First-order LFPL is a functional language for non-size increasing computation with an operational semantics that allows in-place… 
  • figure 1
  • figure 4
  • figure 5
  • figure 6
2001
2001
We describe the design and implementation of λJVM, a functional representation of Java bytecode that makes data flow explicit… 
1999
1999
...................................................................................................................................................................................... 
  • figure 1
  • table 1
  • table 1
  • figure 2
  • figure 3
Review
1997
Review
1997
The FLINT project at Yale aims to build a state-of-the-art systems environment for modern type-safe languages. One important…